choco.integer.constraints.extension
Class TuplesTest

java.lang.Object
  choco.integer.constraints.extension.ConsistencyRelation
      choco.integer.constraints.extension.TuplesTest

All Implemented Interfaces:

LargeRelation, java.lang.Cloneable

public abstract class TuplesTest
extends ConsistencyRelation
implements LargeRelation

Field Summary

Fields inherited from class choco.integer.constraints.extension.ConsistencyRelation

feasible

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.integer.constraints.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.integer.constraints.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