choco.kernel.solver.constraints.integer.extension
Class TuplesTest
java.lang.Object
choco.kernel.solver.constraints.integer.extension.ConsistencyRelation
choco.kernel.solver.constraints.integer.extension.TuplesTest
- All Implemented Interfaces:
- LargeRelation, Cloneable
- Direct Known Subclasses:
- Code4Doc5.NotAllEqual, ExpressionSConstraint
public abstract class TuplesTest
- extends ConsistencyRelation
- implements LargeRelation
Constructor Summary |
TuplesTest()
the default constructor build a relation in feasability |
TuplesTest(boolean feasible)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TuplesTest
public TuplesTest()
- the default constructor build a relation in feasability
TuplesTest
public TuplesTest(boolean feasible)
isConsistent
public boolean isConsistent(int[] tuple)
- Description copied from interface:
LargeRelation
- Test whether a tuple is consistent
- Specified by:
isConsistent
in interface LargeRelation
- Returns:
- true if tuple is consistent.
getOpposite
public ConsistencyRelation getOpposite()
- Description copied from class:
ConsistencyRelation
- return the opposite relation of itself
- Specified by:
getOpposite
in class ConsistencyRelation
Copyright © 2012. All Rights Reserved.