choco.kernel.solver.constraints.integer.extension
Class TuplesTest

java.lang.Object
  extended by choco.kernel.solver.constraints.integer.extension.ConsistencyRelation
      extended by 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


Field Summary
 
Fields inherited from class choco.kernel.solver.constraints.integer.extension.ConsistencyRelation
feasible, LOGGER
 
Constructor Summary
TuplesTest()
          the default constructor build a relation in feasability
TuplesTest(boolean feasible)
           
 
Method Summary
 ConsistencyRelation getOpposite()
          return the opposite relation of itself
 boolean isConsistent(int[] tuple)
          Test whether a tuple is consistent
 
Methods inherited from class choco.kernel.solver.constraints.integer.extension.ConsistencyRelation
isDefinedByFeasability, switchToOppositeRelation
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.constraints.integer.extension.LargeRelation
checkTuple
 

Constructor Detail

TuplesTest

public TuplesTest()
the default constructor build a relation in feasability


TuplesTest

public TuplesTest(boolean feasible)
Method Detail

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.