choco.kernel.solver.constraints.integer.extension
Interface BinRelation

All Known Subinterfaces:
ExtensionalBinRelation
All Known Implementing Classes:
Code4Doc5.MyEquality, CouplesBitSetTable, CouplesTable, CouplesTest, ExpressionSConstraint

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


Copyright © 2012. All Rights Reserved.