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 Description class
LogOp
Logical Operator, to ease clause definition.Fields in org.chocosolver.solver.constraints.nary.cnf declared as ILogical Modifier and Type Field Description protected ILogical[]
LogOp. children
Methods in org.chocosolver.solver.constraints.nary.cnf that return ILogical Modifier and Type Method 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 fromchild
.ILogical[]
LogOp. getChildren()
Returns the array of children ofthis
.static ILogical
LogicTreeToolBox. simplify(ILogical t, Model model)
Detects tautologies and contradictions fromt
static ILogical
LogicTreeToolBox. simplifySingleton(ILogical l, Model model)
Remove tautologies froml
static ILogical
LogicTreeToolBox. toCNF(LogOp logOp, Model model)
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 Description void
LogOp. addChild(ILogical child)
Addschild
to the current list of children ofthis
static LogOp
LogOp. and(ILogical... op)
Create a conjunction, results in true if all of its operands are trueILogical
LogOp. getChildBut(ILogical child)
Returns the first child within the list of children, different fromchild
.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 truestatic 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 truestatic LogOp
LogOp. reified(BoolVar b, ILogical tree)
create a logical connection between ``b`` and ``tree``.void
LogOp. removeChild(ILogical child)
Removeschild
from the current list of children ofthis
static ILogical
LogicTreeToolBox. simplify(ILogical t, Model model)
Detects tautologies and contradictions fromt
static ILogical
LogicTreeToolBox. simplifySingleton(ILogical l, Model model)
Remove tautologies froml
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 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 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 Description class
BoolVarImpl
class
FixedBoolVarImpl
A constant view specific to boolean variable -
Uses of ILogical in org.chocosolver.solver.variables.view
Classes in org.chocosolver.solver.variables.view that implement ILogical Modifier and Type Class Description class
BoolNotView
A view for boolean variable, that enforce not(b).class
EqView
declare an BoolVar based on X and C, such as (X = C) is reified by this.class
IntBoolView
An abstract class for boolean views overIntVar
.class
LeqView
declare an BoolVar based on X and C, such as (X <= C) is reified by this.
-