samples.documentation
Class Code4Doc5.NotAllEqual

java.lang.Object
  extended by choco.kernel.solver.constraints.integer.extension.ConsistencyRelation
      extended by choco.kernel.solver.constraints.integer.extension.TuplesTest
          extended by samples.documentation.Code4Doc5.NotAllEqual
All Implemented Interfaces:
LargeRelation, Cloneable
Enclosing class:
Code4Doc5

public static class Code4Doc5.NotAllEqual
extends TuplesTest


Field Summary
 
Fields inherited from class choco.kernel.solver.constraints.integer.extension.ConsistencyRelation
feasible, LOGGER
 
Constructor Summary
Code4Doc5.NotAllEqual()
           
 
Method Summary
 boolean checkTuple(int[] tuple)
          return true if tuple is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if tuple is one of them.
 
Methods inherited from class choco.kernel.solver.constraints.integer.extension.TuplesTest
getOpposite, isConsistent
 
Methods inherited from class choco.kernel.solver.constraints.integer.extension.ConsistencyRelation
isDefinedByFeasability, switchToOppositeRelation
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Code4Doc5.NotAllEqual

public Code4Doc5.NotAllEqual()
Method Detail

checkTuple

public boolean checkTuple(int[] tuple)
Description copied from interface: LargeRelation
return true if tuple is feasible according to the definition of the relation. e.g if the relation is defined with infeasible tuples, it returns true if tuple is one of them.

Returns:


Copyright © 2012. All Rights Reserved.