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