|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ALogicTree.Operator | |
---|---|
choco.kernel.model.constraints.cnf |
Uses of ALogicTree.Operator in choco.kernel.model.constraints.cnf |
---|
Methods in choco.kernel.model.constraints.cnf that return ALogicTree.Operator | |
---|---|
static ALogicTree.Operator |
ALogicTree.Operator.flip(ALogicTree.Operator operator)
|
static ALogicTree.Operator |
ALogicTree.Operator.valueOf(String name)
Returns the enum constant of this type with the specified name. |
static ALogicTree.Operator[] |
ALogicTree.Operator.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods in choco.kernel.model.constraints.cnf with parameters of type ALogicTree.Operator | |
---|---|
static ALogicTree.Operator |
ALogicTree.Operator.flip(ALogicTree.Operator operator)
|
boolean |
Singleton.is(ALogicTree.Operator op)
|
boolean |
Node.is(ALogicTree.Operator op)
|
boolean |
Literal.is(ALogicTree.Operator op)
|
abstract boolean |
ALogicTree.is(ALogicTree.Operator op)
Current tree is rooted with the logical operator op |
static void |
LogicTreeToolBox.merge(ALogicTree.Operator op,
ALogicTree t)
|
Constructors in choco.kernel.model.constraints.cnf with parameters of type ALogicTree.Operator | |
---|---|
Node(ALogicTree.Operator operator,
ALogicTree.Type type,
ALogicTree... children)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |