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

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

Uses of ALogicTree in choco
 

Methods in choco with parameters of type ALogicTree
static Constraint[] Choco.clauses(ALogicTree tree)
          A global constraint to store and propagate all clauses extracted from a logic tree
static Constraint[] Choco.clauses(String option, ALogicTree tree)
          A global constraint to store and propagate all clauses extracted from a logic tree The option can contain the folowing String : cp:entail ensure quick entailment tests
 

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

Subclasses of ALogicTree in choco.kernel.model.constraints.cnf
 class Literal
          
 class Node
          
 class Singleton
          
 

Methods in choco.kernel.model.constraints.cnf that return ALogicTree
 ALogicTree ALogicTree.clone()
           
static ALogicTree LogicTreeToolBox.developOr(ALogicTree t)
           
static ALogicTree LogicTreeToolBox.distribute(ALogicTree t)
           
 ALogicTree Literal.getAndChild()
           
 ALogicTree Literal.getChildBut(ALogicTree child)
           
 ALogicTree[] Singleton.getChildren()
           
 ALogicTree[] Node.getChildren()
           
 ALogicTree[] Literal.getChildren()
           
abstract  ALogicTree[] ALogicTree.getChildren()
          Returns the array of children of this.
static ALogicTree LogicTreeToolBox.simplify(ALogicTree t)
           
static ALogicTree LogicTreeToolBox.simplifySingleton(ALogicTree t)
           
static ALogicTree LogicTreeToolBox.toCNF(ALogicTree t)
          Warning: if there is a bug, please check the CNF build is like: - lit OR lit ...
 

Methods in choco.kernel.model.constraints.cnf with parameters of type ALogicTree
 void Literal.addChild(ALogicTree child)
           
static Node Node.and(ALogicTree... children)
           
static ALogicTree LogicTreeToolBox.developOr(ALogicTree t)
           
static ALogicTree LogicTreeToolBox.distribute(ALogicTree t)
           
static void LogicTreeToolBox.expandNot(ALogicTree t)
           
 ALogicTree Literal.getChildBut(ALogicTree child)
           
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 void LogicTreeToolBox.merge(ALogicTree.Operator op, ALogicTree t)
           
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)
           
 void Literal.removeChild(ALogicTree child)
           
static ALogicTree LogicTreeToolBox.simplify(ALogicTree t)
           
static ALogicTree LogicTreeToolBox.simplifySingleton(ALogicTree t)
           
static ALogicTree LogicTreeToolBox.toCNF(ALogicTree t)
          Warning: if there is a bug, please check the CNF build is like: - lit OR lit ...
static Node Node.xor(ALogicTree a, ALogicTree b)
           
 

Constructors in choco.kernel.model.constraints.cnf with parameters of type ALogicTree
Node(ALogicTree.Operator operator, ALogicTree.Type type, ALogicTree... children)
           
 



Copyright © 2012. All Rights Reserved.