Package | Description |
---|---|
org.chocosolver.solver.constraints.nary.cnf |
Modifier and Type | Field and Description |
---|---|
protected LogOp.Operator |
LogOp.operator |
Modifier and Type | Method and Description |
---|---|
static LogOp.Operator |
LogOp.Operator.flip(LogOp.Operator operator) |
static LogOp.Operator |
LogOp.Operator.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static LogOp.Operator[] |
LogOp.Operator.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static LogOp.Operator |
LogOp.Operator.flip(LogOp.Operator operator) |
boolean |
LogOp.is(LogOp.Operator op)
Current tree is rooted with the logical operator
op |
static void |
LogicTreeToolBox.merge(LogOp.Operator op,
LogOp n)
Flattens a logical expression
n based on operator op . |
Constructor and Description |
---|
LogOp(LogOp.Operator operator,
LogOp.Type type,
ILogical... children) |
Copyright © 2017. All rights reserved.