|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ALogicTree.Type | |
---|---|
choco.kernel.model.constraints.cnf |
Uses of ALogicTree.Type in choco.kernel.model.constraints.cnf |
---|
Methods in choco.kernel.model.constraints.cnf that return ALogicTree.Type | |
---|---|
static ALogicTree.Type |
ALogicTree.Type.flip(ALogicTree.Type type)
|
static ALogicTree.Type |
ALogicTree.Type.valueOf(String name)
Returns the enum constant of this type with the specified name. |
static ALogicTree.Type[] |
ALogicTree.Type.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.Type | |
---|---|
static ALogicTree.Type |
ALogicTree.Type.flip(ALogicTree.Type type)
|
Constructors in choco.kernel.model.constraints.cnf with parameters of type ALogicTree.Type | |
---|---|
ALogicTree(ALogicTree.Type type)
|
|
Literal(IntegerVariable var,
ALogicTree.Type type)
|
|
Node(ALogicTree.Operator operator,
ALogicTree.Type type,
ALogicTree... children)
|
|
Singleton(ALogicTree.Type type)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |