choco.integer.constraints.extension
Interface BinRelation

All Known Implementing Classes:

CouplesTable, CouplesTest

public interface BinRelation

Method Summary

boolean	checkCouple(int x, int y) return true if couple (x,y) is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if (x,y) is one of them.
boolean	isConsistent(int x, int y) Test whether the couple (x,y) is consistent

Method Detail

checkCouple

boolean checkCouple(int x,
                    int y)

return true if couple (x,y) is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if (x,y) is one of them.

Parameters:

x -

y -

Returns:

isConsistent

boolean isConsistent(int x,
                     int y)

Test whether the couple (x,y) is consistent

Parameters:

x -

y -

Returns:

true if (x,y) is a consistent couple