Uses of Class
org.chocosolver.solver.constraints.nary.cnf.LogOp
-
Packages that use LogOp Package Description org.chocosolver.solver.constraints org.chocosolver.solver.constraints.nary.cnf -
-
Uses of LogOp in org.chocosolver.solver.constraints
Methods in org.chocosolver.solver.constraints with parameters of type LogOp Modifier and Type Method Description default boolean
ISatFactory. addClauses(LogOp TREE)
Ensures that the clauses defined in the Boolean logic formula TREE are satisfied. -
Uses of LogOp in org.chocosolver.solver.constraints.nary.cnf
Methods in org.chocosolver.solver.constraints.nary.cnf that return LogOp Modifier and Type Method Description static LogOp
LogOp. and(ILogical... op)
Create a conjunction, results in true if all of its operands are trueLogOp
LogOp. clone()
static LogOp
LogicTreeToolBox. developOr(LogOp n)
Moves down 'OR' operand in the logical expressionn
.static LogOp
LogicTreeToolBox. distribute(LogOp n)
Distributes 'OR's inwards over 'AND's inn
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``.static LogOp
LogOp. xor(ILogical a, ILogical b)
Create an exclusive disjunction, results in true whenever both operands differ.Methods in org.chocosolver.solver.constraints.nary.cnf with parameters of type LogOp Modifier and Type Method Description static LogOp
LogicTreeToolBox. developOr(LogOp n)
Moves down 'OR' operand in the logical expressionn
.static LogOp
LogicTreeToolBox. distribute(LogOp n)
Distributes 'OR's inwards over 'AND's inn
static void
LogicTreeToolBox. expandNot(LogOp n)
Erases 'NOT' operand from the logical expressionn
by flipping the right childrenstatic void
LogicTreeToolBox. merge(LogOp.Operator op, LogOp n)
Flattens a logical expressionn
based on operatorop
.static ILogical
LogicTreeToolBox. toCNF(LogOp logOp, Model model)
Warning: if there is a bug, please check the CNF build is like: - lit OR lit ...
-