choco.kernel.solver.constraints.reified
Interface BoolNode

All Known Implementing Classes:
AbstractBoolNode, AndNode, ConstraintLeaf, DistEqNode, DistGtNode, DistLtNode, DistNeqNode, EqNode, FalseNode, GeqNode, GtNode, IfThenElseNode, LeqNode, LtNode, NandNode, NeqNode, NorNode, NotNode, OppSignNode, OrNode, SameSignNode, TrueNode, XnorNode, XorNode

public interface BoolNode


Method Summary
 boolean checkTuple(int[] tuple)
           
 SConstraint extractConstraint(Solver s)
          Extracts the sub constraint without reifying it !
 

Method Detail

checkTuple

boolean checkTuple(int[] tuple)

extractConstraint

SConstraint extractConstraint(Solver s)
Extracts the sub constraint without reifying it !

Parameters:
s -
Returns:


Copyright © 2012. All Rights Reserved.