choco.kernel.solver.constraints.integer.extension
Class ConsistencyRelation

java.lang.Object
  extended by choco.kernel.solver.constraints.integer.extension.ConsistencyRelation
All Implemented Interfaces:
Cloneable
Direct Known Subclasses:
CouplesBitSetTable, CouplesTable, CouplesTest, TuplesTable, TuplesTest

public abstract class ConsistencyRelation
extends Object
implements Cloneable


Field Summary
protected  boolean feasible
           
protected static Logger LOGGER
           
 
Constructor Summary
ConsistencyRelation()
           
 
Method Summary
abstract  ConsistencyRelation getOpposite()
          return the opposite relation of itself
 boolean isDefinedByFeasability()
          currentElement 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

LOGGER

protected static final Logger LOGGER

feasible

protected boolean feasible
Constructor Detail

ConsistencyRelation

public ConsistencyRelation()
Method Detail

isDefinedByFeasability

public boolean isDefinedByFeasability()
currentElement 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



Copyright © 2012. All Rights Reserved.