|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |