choco.integer.constraints.extension
Class ConsistencyRelation

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

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

CouplesTable, CouplesTest, TuplesTable, TuplesTest

public abstract class ConsistencyRelation
extends java.lang.Object
implements java.lang.Cloneable

Field Summary

protected boolean

feasible

Constructor Summary

ConsistencyRelation()

Method Summary

abstract ConsistencyRelation	getOpposite() return the opposite relation of itself
boolean	isDefinedByFeasability() test if the relation is defined with feasible tuples or infeasible one.
void	switchToOppositeRelation() inverse the feasability of the relation

Methods inherited from class java.lang.Object

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

Field Detail

feasible

protected boolean feasible

Constructor Detail

ConsistencyRelation

public ConsistencyRelation()

Method Detail

isDefinedByFeasability

public boolean isDefinedByFeasability()

test if the relation is defined with feasible tuples or infeasible one.

switchToOppositeRelation

public void switchToOppositeRelation()

inverse the feasability of the relation

getOpposite

public abstract ConsistencyRelation getOpposite()

return the opposite relation of itself