Originally posted by: sandeepsinghchauhan

forall(Ro in R){

S[Ro] >= D[Ro] => A[Ro] == B[Ro];

}

In mathematical form

S_Ro >= D_Ro => A_Ro == B_Ro

_{Is denoting imply is correct? like for  &&  we can use ^ same Is there any other way to denote imply in mathematical equation form?}

_{please help}

Hi,

=> means imply

See http://www.ibm.com/support/knowledgecenter/SSSA5P_12.6.3/ilog.odms.ide.help/OPL_Studio/opllangref/topics/opl_langref_constraints_types_logical.html

Instead of

a=>b;

you could write

(!a) || b;

but more difficult to read.

regards

Originally posted by: sandeepsinghchauhan

forall(Ro in R){

S[Ro] >= D[Ro] => A[Ro] == B[Ro];

S[Ro] <= D[Ro] => A[Ro] ==0;

}

Above constraint i written in the following form:

mathematically are they correct?

S_Ro >= D_Ro => A_Ro == B_Ro

S_Ro <=  D_Ro => A_Ro == ₀