IntExp > value
135136137138139140141
* @return <code> ConstraintConst(const - value)</code> */ final public Constraint less(IntExp exp) { return new ConstraintExpMoreValue(exp,_const); }
152153154155156157158
* @param exp The IntExp that must be greater or equal to "const" * @return (Constraint)(exp > const -1) */ final public Constraint lessOrEqual(IntExp exp) { return new ConstraintExpMoreValue(exp,_const-1); }