Uses of Class
choco.kernel.model.constraints.cnf.Node

Packages that use Node
choco.kernel.model.constraints.cnf   
 

Uses of Node in choco.kernel.model.constraints.cnf
 

Methods in choco.kernel.model.constraints.cnf that return Node
static Node Node.and(ALogicTree... children)
           
 Node Node.clone()
           
static Node Node.ifOnlyIf(ALogicTree a, ALogicTree b)
           
static Node Node.ifThenElse(ALogicTree a, ALogicTree b, ALogicTree c)
           
static Node Node.implies(ALogicTree a, ALogicTree b)
           
static Node Node.nand(ALogicTree... children)
           
static Node Node.nor(ALogicTree... children)
           
static Node Node.or(ALogicTree... children)
           
static Node Node.reified(Literal b, ALogicTree tree)
           
static Node Node.xor(ALogicTree a, ALogicTree b)
           
 



Copyright © 2012. All Rights Reserved.