choco.kernel.solver.constraints.integer.extension
Class CouplesTest
java.lang.Object
choco.kernel.solver.constraints.integer.extension.ConsistencyRelation
choco.kernel.solver.constraints.integer.extension.CouplesTest
- All Implemented Interfaces:
- BinRelation, Cloneable
- Direct Known Subclasses:
- Code4Doc5.MyEquality
public abstract class CouplesTest
- extends ConsistencyRelation
- implements BinRelation
Constructor Summary |
protected |
CouplesTest()
the default constructor build a relation in feasability |
protected |
CouplesTest(boolean feasible)
|
Method Summary |
ConsistencyRelation |
getOpposite()
return the opposite relation of itself |
boolean |
isConsistent(int x,
int y)
check if the couple (x,y) is consistent according
to the feasability of the relation and the checkCouple method. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CouplesTest
protected CouplesTest()
- the default constructor build a relation in feasability
CouplesTest
protected CouplesTest(boolean feasible)
isConsistent
public boolean isConsistent(int x,
int y)
- check if the couple (x,y) is consistent according
to the feasability of the relation and the checkCouple method.
checkCouple have to be overriden by any concrete CouplesTest
relation.
- Specified by:
isConsistent
in interface BinRelation
- Returns:
- true if (x,y) is a consistent couple
getOpposite
public ConsistencyRelation getOpposite()
- Description copied from class:
ConsistencyRelation
- return the opposite relation of itself
- Specified by:
getOpposite
in class ConsistencyRelation
- Returns:
- the opposite relation
Copyright © 2012. All Rights Reserved.