choco.integer.constraints.extension
Interface LargeRelation

All Known Implementing Classes:

TuplesTable, TuplesTest

public interface LargeRelation

Method Summary

boolean	checkTuple(int[] tuple) return true if tuple is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if tuple is one of them.
boolean	isConsistent(int[] tuple) Test whether a tuple is consistent

Method Detail

checkTuple

boolean checkTuple(int[] tuple)

return true if tuple is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if tuple is one of them.

Returns:

isConsistent

boolean isConsistent(int[] tuple)

Test whether a tuple is consistent

Returns:

true if tuple is consistent.