Uses of Class
org.chocosolver.solver.constraints.nary.cnf.LogOp.Operator

Packages that use LogOp.Operator

Package	Description
org.chocosolver.solver.constraints.nary.cnf

Uses of LogOp.Operator in org.chocosolver.solver.constraints.nary.cnf

Fields in org.chocosolver.solver.constraints.nary.cnf declared as LogOp.Operator

Modifier and Type	Field	Description
protected LogOp.Operator	LogOp.operator

Methods in org.chocosolver.solver.constraints.nary.cnf that return LogOp.Operator

Modifier and Type	Method	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.

Methods in org.chocosolver.solver.constraints.nary.cnf with parameters of type LogOp.Operator

Modifier and Type	Method	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.

Constructors in org.chocosolver.solver.constraints.nary.cnf with parameters of type LogOp.Operator

Constructor	Description
LogOp(LogOp.Operator operator, LogOp.Type type, ILogical... children)