Module org.chocosolver
Interface DecisionOperator<V extends Variable>
-
- All Superinterfaces:
Serializable
public interface DecisionOperator<V extends Variable> extends Serializable
- Since:
- 03/02/11
- Author:
- Charles Prud'homme
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description boolean
apply(V var, int value, ICause cause)
DecisionOperator<V>
opposite()
String
toString()
boolean
unapply(V var, int value, ICause cause)
-
-
-
Method Detail
-
apply
boolean apply(V var, int value, ICause cause) throws ContradictionException
- Throws:
ContradictionException
-
unapply
boolean unapply(V var, int value, ICause cause) throws ContradictionException
- Throws:
ContradictionException
-
opposite
DecisionOperator<V> opposite()
-
-