Module org.chocosolver

Package org.chocosolver.solver.constraints.extension.binary

Class BinRelation

java.lang.Object

org.chocosolver.solver.constraints.extension.binary.BinRelation

public abstract class BinRelation
extends Object

Constructor Summary

Constructors

Constructor	Description
BinRelation()

Method Summary

Modifier and Type	Method	Description
abstract 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.
abstract Tuples	convert()	Convert this relation into 'Tuples'
abstract boolean	isConsistent(int x, int y)	Test whether the couple (x,y) is consistent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BinRelation

public BinRelation()

Method Detail

checkCouple

public abstract 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 - a value for the first element

y - a value for the second element

Returns:

boolean

isConsistent

public abstract boolean isConsistent(int x,
                                     int y)

Test whether the couple (x,y) is consistent

Parameters:

x - a value for the first element

y - a value for the second element

Returns:

true if (x,y) is a consistent couple

convert

public abstract Tuples convert()

Convert this relation into 'Tuples'

Returns: