Package org.projog.clp
Interface ConstraintStore
-
- All Superinterfaces:
ReadConstraintStore
- All Known Implementing Classes:
ClpConstraintStore
public interface ConstraintStore extends ReadConstraintStore
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ExpressionResultsetMax(Expression id, long max)ExpressionResultsetMin(Expression id, long min)ExpressionResultsetNot(Expression id, long not)ExpressionResultsetValue(Expression id, long value)-
Methods inherited from interface org.projog.clp.ReadConstraintStore
getMax, getMin
-
-
-
-
Method Detail
-
setValue
ExpressionResult setValue(Expression id, long value)
-
setMin
ExpressionResult setMin(Expression id, long min)
-
setMax
ExpressionResult setMax(Expression id, long max)
-
setNot
ExpressionResult setNot(Expression id, long not)
-
-