|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.model.constraints.cnf.ALogicTree
choco.kernel.model.constraints.cnf.Node
public final class Node
Nested Class Summary |
---|
Nested classes/interfaces inherited from class choco.kernel.model.constraints.cnf.ALogicTree |
---|
ALogicTree.Operator, ALogicTree.Type |
Constructor Summary | |
---|---|
protected |
Node(ALogicTree.Operator operator,
ALogicTree.Type type,
ALogicTree... children)
|
Method Summary | |
---|---|
static Node |
and(ALogicTree... children)
|
Node |
clone()
|
IntegerVariable[] |
flattenBoolVar()
Extracts and returns the flatten array of BoolVar contained in this . |
ALogicTree[] |
getChildren()
Returns the array of children of this . |
int |
getNbPositiveLiterals()
Computes and returns the number of positive literals contained in the direct level. |
static Node |
ifOnlyIf(ALogicTree a,
ALogicTree b)
|
static Node |
ifThenElse(ALogicTree a,
ALogicTree b,
ALogicTree c)
|
static Node |
implies(ALogicTree a,
ALogicTree b)
|
boolean |
is(ALogicTree.Operator op)
Current tree is rooted with the logical operator op |
static Node |
nand(ALogicTree... children)
|
static Node |
nor(ALogicTree... children)
|
static Node |
or(ALogicTree... children)
|
static Node |
reified(Literal b,
ALogicTree tree)
|
String |
toString()
|
static Node |
xor(ALogicTree a,
ALogicTree b)
|
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
protected Node(ALogicTree.Operator operator, ALogicTree.Type type, ALogicTree... children)
Method Detail |
---|
public static Node and(ALogicTree... children)
public static Node ifOnlyIf(ALogicTree a, ALogicTree b)
public static Node reified(Literal b, ALogicTree tree)
public static Node ifThenElse(ALogicTree a, ALogicTree b, ALogicTree c)
public static Node implies(ALogicTree a, ALogicTree b)
public static Node or(ALogicTree... children)
public static Node nand(ALogicTree... children)
public static Node nor(ALogicTree... children)
public static Node xor(ALogicTree a, ALogicTree b)
public boolean is(ALogicTree.Operator op)
ALogicTree
op
is
in class ALogicTree
op
- operator checked
true
if this
is op
public ALogicTree[] getChildren()
ALogicTree
this
.
null
is a valid return value.
getChildren
in class ALogicTree
null
otherwisepublic String toString()
toString
in class Object
public Node clone() throws CloneNotSupportedException
clone
in class ALogicTree
CloneNotSupportedException
public IntegerVariable[] flattenBoolVar()
ALogicTree
this
.
WARNING : a variable may appear more than once, redundancy is not checked!
flattenBoolVar
in class ALogicTree
public int getNbPositiveLiterals()
ALogicTree
getNbPositiveLiterals
in class ALogicTree
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |