Uses of Interface
org.chocosolver.solver.constraints.nary.cnf.ILogical

Packages that use ILogical

Package	Description
org.chocosolver.solver.constraints.nary.cnf
org.chocosolver.solver.variables
org.chocosolver.solver.variables.impl
org.chocosolver.solver.variables.view

Uses of ILogical in org.chocosolver.solver.constraints.nary.cnf

Classes in org.chocosolver.solver.constraints.nary.cnf that implement ILogical

Modifier and Type	Class and Description
class	LogOp Logical Operator, to ease clause definition.

Methods in org.chocosolver.solver.constraints.nary.cnf that return ILogical

Modifier and Type	Method and Description
ILogical	LogOp.getAndChild() Returns the first AND logic tree within the list of children.
ILogical	LogOp.getChildBut(ILogical child) Returns the first child within the list of children, different from child.
ILogical[]	LogOp.getChildren() Returns the array of children of this.
static ILogical	LogicTreeToolBox.simplify(ILogical t, Solver solver) Detects tautologies and contradictions from t
static ILogical	LogicTreeToolBox.simplifySingleton(ILogical l, Solver solver) Remove tautologies from l
static ILogical	LogicTreeToolBox.toCNF(LogOp logOp, Solver solver) Warning: if there is a bug, please check the CNF build is like: - lit OR lit ...

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

Modifier and Type	Method and Description
void	LogOp.addChild(ILogical child) Adds child to the current list of children of this
static LogOp	LogOp.and(ILogical... op) Create a conjunction, results in true if all of its operands are true
ILogical	LogOp.getChildBut(ILogical child) Returns the first child within the list of children, different from child.
static LogOp	LogOp.ifOnlyIf(ILogical a, ILogical b) Create a biconditional, results in true if and only if both operands are false or both operands are true
static LogOp	LogOp.ifThenElse(ILogical a, ILogical b, ILogical c) Create an implication, results in true if a is true` and b is true or a is false and c is true.
static LogOp	LogOp.implies(ILogical a, ILogical b) Create an implication, results in true if a is false or b is true.
static LogOp	LogOp.nand(ILogical... op) Create an alternative denial, results in if at least one of its operands is false.
static LogOp	LogOp.nor(ILogical... op) Create a joint denial, results in `true` if all of its operands are false.
static LogOp	LogOp.or(ILogical... op) Create a disjunction, results in true whenever one or more of its operands are true
static LogOp	LogOp.reified(BoolVar b, ILogical tree) create a logical connection between ``b`` and ``tree``.
void	LogOp.removeChild(ILogical child) Removes child from the current list of children of this
static ILogical	LogicTreeToolBox.simplify(ILogical t, Solver solver) Detects tautologies and contradictions from t
static ILogical	LogicTreeToolBox.simplifySingleton(ILogical l, Solver solver) Remove tautologies from l
static LogOp	LogOp.xor(ILogical a, ILogical b) Create an exclusive disjunction, results in true whenever both operands differ.

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

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

Uses of ILogical in org.chocosolver.solver.variables

Subinterfaces of ILogical in org.chocosolver.solver.variables

Modifier and Type	Interface and Description
interface	BoolVar CPRU r544: remove default implementation

Uses of ILogical in org.chocosolver.solver.variables.impl

Classes in org.chocosolver.solver.variables.impl that implement ILogical

Modifier and Type	Class and Description
class	BoolVarImpl
class	FixedBoolVarImpl A constant view specific to boolean variable Based on "Views and Iterators for Generic Constraint Implementations", C.

Uses of ILogical in org.chocosolver.solver.variables.view

Classes in org.chocosolver.solver.variables.view that implement ILogical

Modifier and Type	Class and Description
class	BoolEqView A specific view for equality on bool var
class	BoolNotView A view for boolean variable, that enforce not(b).