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