IntExp == value
111112113114115116117
* @param exp IntExp that must be equal to IntExpConst's value. * @return <code> ConstraintConst(exp == const)</code> */ final public Constraint equals(IntExp exp) // this == exp { return new ConstraintExpEqualsValue(exp,_const); }
118119120121122123124
/** * @return <code> ConstraintConst(exp == const - value)</code> */ final public Constraint equals(IntExp exp, int value) // _const == exp + value { return new ConstraintExpEqualsValue(exp,_const - value); }