Uses of Interface
org.chocosolver.solver.variables.BoolVar
-
-
Uses of BoolVar in org.chocosolver.sat
Methods in org.chocosolver.sat with parameters of type BoolVar Modifier and Type Method Description int
PropSat. makeLiteral(BoolVar expr, boolean sign)
Creates, or returns if already existing, the literal corresponding to :int
PropSat. makeVar(BoolVar expr)
Creates, or returns if already existing, the literal corresponding to : -
Uses of BoolVar in org.chocosolver.solver
Methods in org.chocosolver.solver that return BoolVar Modifier and Type Method Description BoolVar[]
Model. retrieveBoolVars()
Iterate over the variable ofthis
and build an array that contains theBoolVar
only. -
Uses of BoolVar in org.chocosolver.solver.constraints
Fields in org.chocosolver.solver.constraints declared as BoolVar Modifier and Type Field Description protected BoolVar
ReificationConstraint. bool
protected BoolVar
Constraint. boolReif
BoolVar that reifies this constraint, unique.Methods in org.chocosolver.solver.constraints that return BoolVar Modifier and Type Method Description BoolVar
Propagator. reifiedWith()
BoolVar
Constraint. reify()
Get/make the boolean variable indicating whether the constraint is satisfied or not This should not be posted.Methods in org.chocosolver.solver.constraints with parameters of type BoolVar Modifier and Type Method Description default boolean
ISatFactory. addClauseFalse(BoolVar BOOLVAR)
Add a unit clause stating that BOOLVAR must be falsedefault boolean
ISatFactory. addClauses(BoolVar[] POSLITS, BoolVar[] NEGLITS)
Ensures that the clause defined by POSLITS and NEGLITS is satisfied.default boolean
ISatFactory. addClausesAtMostNMinusOne(BoolVar[] BOOLVARS)
Add a clause stating that: ∑ BOOLVARSi ≤ n-1default boolean
ISatFactory. addClausesAtMostOne(BoolVar[] BOOLVARS)
Add a clause stating that: ∑ BOOLVARSi ≤ 1default boolean
ISatFactory. addClausesBoolAndArrayEqualFalse(BoolVar[] BOOLVARS)
Add a clause stating that: BOOLVARS1∧BOOLVARS2∧...∧BOOLVARSndefault boolean
ISatFactory. addClausesBoolAndArrayEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
Add a clause stating that: (BOOLVARS1∧BOOLVARS2∧...∧BOOLVARSn) ⇔ TARGETdefault boolean
ISatFactory. addClausesBoolAndEqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
Add a clause stating that: (LEFT ∧ RIGHT) ⇔ TARGETdefault boolean
ISatFactory. addClausesBoolEq(BoolVar LEFT, BoolVar RIGHT)
Add a clause stating that: LEFT == RIGHTdefault boolean
ISatFactory. addClausesBoolIsEqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
Add a clause stating that: (LEFT == RIGHT) ⇔ TARGETdefault boolean
ISatFactory. addClausesBoolIsLeVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
Add a clause stating that: (LEFT ≤ RIGHT) ⇔ TARGETdefault boolean
ISatFactory. addClausesBoolIsLtVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
Add a clause stating that: (LEFT < RIGHT) ⇔ TARGETdefault boolean
ISatFactory. addClausesBoolIsNeqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
Add a clause stating that: (LEFT ≠ RIGHT) ⇔ TARGETdefault boolean
ISatFactory. addClausesBoolLe(BoolVar LEFT, BoolVar RIGHT)
Add a clause stating that: LEFT ≤ RIGHTdefault boolean
ISatFactory. addClausesBoolLt(BoolVar LEFT, BoolVar RIGHT)
Add a clause stating that: LEFT < RIGHTdefault boolean
ISatFactory. addClausesBoolNot(BoolVar LEFT, BoolVar RIGHT)
Add a clause stating that: LEFT !default boolean
ISatFactory. addClausesBoolOrArrayEqualTrue(BoolVar[] BOOLVARS)
Add a clause stating that: BOOLVARS1∨BOOLVARS2∨...∨BOOLVARSndefault boolean
ISatFactory. addClausesBoolOrArrayEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
Add a clause stating that: (BOOLVARS1∨BOOLVARS2∨...∨BOOLVARSn) ⇔ TARGETdefault boolean
ISatFactory. addClausesBoolOrEqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
Add a clause stating that: (LEFT ∨ RIGHT) ⇔ TARGETdefault boolean
ISatFactory. addClausesBoolXorEqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
Add a clause stating that: (LEFT ⊕ RIGHT) ⇔ TARGETdefault boolean
ISatFactory. addClausesMaxBoolArrayLessEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
Add a clause stating that: max(BOOLVARSi) ≤ TARGETdefault boolean
ISatFactory. addClausesSumBoolArrayGreaterEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
Add a clause stating that: sum(BOOLVARSi) ≥ TARGETdefault boolean
ISatFactory. addClausesSumBoolArrayLessEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
Add a clause stating that: sum(BOOLVARSi) ≤ TARGETdefault boolean
ISatFactory. addClauseTrue(BoolVar BOOLVAR)
Add a unit clause stating that BOOLVAR must be truedefault Constraint
IIntConstraintFactory. and(BoolVar... bools)
Creates an and constraint that is satisfied if all boolean variables in bools are truedefault Constraint
IIntConstraintFactory. bitsIntChanneling(BoolVar[] bits, IntVar var)
Creates an channeling constraint between an integer variable and a set of bit variables.default Constraint
IIntConstraintFactory. boolsIntChanneling(BoolVar[] bVars, IntVar var, int offset)
Creates an channeling constraint between an integer variable and a set of boolean variables.default Constraint
IIntConstraintFactory. clausesIntChanneling(IntVar var, BoolVar[] eVars, BoolVar[] lVars)
Creates an channeling constraint between an integer variable and a set of clauses.default void
IReificationFactory. ifThen(BoolVar ifVar, Constraint thenCstr)
Posts an implication constraint: ifVar => thenCstr Also called half reification constraint Ensures:default void
IReificationFactory. ifThenElse(BoolVar ifVar, Constraint thenCstr, Constraint elseCstr)
Posts an implication constraint: ifVar => thenCstr && not(ifVar) => elseCstr.default Constraint
IIntConstraintFactory. max(BoolVar max, BoolVar[] vars)
Creates a maximum constraint.default Constraint
IIntConstraintFactory. min(BoolVar min, BoolVar[] vars)
Creates a minimum constraint.default Constraint
IIntConstraintFactory. or(BoolVar... bools)
Creates an or constraint that is satisfied if at least one boolean variables in bools is truedefault void
IReificationFactory. reification(BoolVar var, Constraint cstr)
Reify a constraint with a boolean variable: var = 1 <=> cstr is satisfied, Equivalent to ifOnlyIf BEWARE : it is automatically posted (it cannot be reified)void
Constraint. reifyWith(BoolVar bool)
Reifies the constraint with a boolean variable If the reified boolean variable already exists, an additional (equality) constraint is automatically posted.default void
IReificationFactory. reifyXeqC(IntVar X, int C, BoolVar B)
Posts one constraint that expresses : (x = c) ⇔ b.default void
IReificationFactory. reifyXeqY(IntVar X, IntVar Y, BoolVar B)
Posts one constraint that expresses : (x = y) ⇔ b.default void
IReificationFactory. reifyXeqYC(IntVar X, IntVar Y, int C, BoolVar B)
Posts one constraint that expresses : (x = y + c) ⇔ b.default void
IReificationFactory. reifyXgeY(IntVar X, IntVar Y, BoolVar B)
Posts one constraint that expresses : (x ≥ y) ⇔ b.default void
IReificationFactory. reifyXgtC(IntVar X, int C, BoolVar B)
Posts one constraint that expresses : (x > c) ⇔ b.default void
IReificationFactory. reifyXgtY(IntVar X, IntVar Y, BoolVar B)
Posts one constraint that expresses : (x > y) ⇔ b.default void
IReificationFactory. reifyXgtYC(IntVar X, IntVar Y, int C, BoolVar B)
Posts one constraint that expresses : (x > y + c) ⇔ b.default void
IReificationFactory. reifyXinS(IntVar X, IntIterableRangeSet S, BoolVar B)
Posts one constraint that expresses : (X ∈ S) ⇔ B.default void
IReificationFactory. reifyXleY(IntVar X, IntVar Y, BoolVar B)
Posts one constraint that expresses : (x ≤ y) ⇔ b.default void
IReificationFactory. reifyXltC(IntVar X, int C, BoolVar B)
Posts one constraint that expresses : (x < c) ⇔ b.default void
IReificationFactory. reifyXltY(IntVar X, IntVar Y, BoolVar B)
Posts one constraint that expresses : (x < y) ⇔ b.default void
IReificationFactory. reifyXltYC(IntVar X, IntVar Y, int C, BoolVar B)
Posts one constraint that expresses : (x < y + c) ⇔ b.default void
IReificationFactory. reifyXneC(IntVar X, int C, BoolVar B)
Posts one constraint that expresses : (x ≠ c) ⇔ b.default void
IReificationFactory. reifyXneY(IntVar X, IntVar Y, BoolVar B)
Posts one constraint that expresses : (x ≠ y) ⇔ b.default void
IReificationFactory. reifyXneYC(IntVar X, IntVar Y, int C, BoolVar B)
Posts one constraint that expresses : (x ≠ y + c) ⇔ b.default void
IReificationFactory. reifyXnotinS(IntVar X, IntIterableRangeSet S, BoolVar B)
Posts one constraint that expresses : (X ∉ S) ⇔ B.default Constraint
ISetConstraintFactory. setBoolsChanneling(BoolVar[] bools, SetVar set)
Creates a constraint channeling a set variable with boolean variables : i in set <=> bools[i] = TRUEdefault Constraint
ISetConstraintFactory. setBoolsChanneling(BoolVar[] bools, SetVar set, int offset)
Creates a constraint channeling a set variable with boolean variables : i in set <=> bools[i-offset] = TRUEvoid
Propagator. setReifiedSilent(BoolVar boolVar)
informs that this reified propagator may not hold.default Constraint
IIntConstraintFactory. sum(BoolVar[] vars, String operator, int sum)
Creates a sum constraint.default Constraint
IIntConstraintFactory. sum(BoolVar[] vars, String operator, IntVar sum)
Creates a sum constraint.default Constraint
IIntConstraintFactory. sum(BoolVar[] vars, String operator, IntVar sum, int minCardForDecomp)
Creates a sum constraint.Constructors in org.chocosolver.solver.constraints with parameters of type BoolVar Constructor Description ReificationConstraint(BoolVar bVar, Constraint consIfBoolTrue, Constraint consIfBoolFalse)
-
Uses of BoolVar in org.chocosolver.solver.constraints.nary.channeling
Constructors in org.chocosolver.solver.constraints.nary.channeling with parameters of type BoolVar Constructor Description PropBitChanneling(IntVar OCTET, BoolVar[] BITS)
PropClauseChanneling(IntVar iv, BoolVar[] eb, BoolVar[] lb)
PropEnumDomainChanneling(BoolVar[] bvars, IntVar aVar, int offSet)
-
Uses of BoolVar in org.chocosolver.solver.constraints.nary.cnf
Fields in org.chocosolver.solver.constraints.nary.cnf declared as BoolVar Modifier and Type Field Description protected BoolVar[]
LogOp. varsAsArray
Methods in org.chocosolver.solver.constraints.nary.cnf that return BoolVar Modifier and Type Method Description BoolVar[]
LogOp. flattenBoolVar()
Extracts and returns the flatten array of BoolVar contained inthis
.Methods in org.chocosolver.solver.constraints.nary.cnf with parameters of type BoolVar Modifier and Type Method Description static LogOp
LogOp. reified(BoolVar b, ILogical tree)
create a logical connection between ``b`` and ``tree``.Constructors in org.chocosolver.solver.constraints.nary.cnf with parameters of type BoolVar Constructor Description PropFalse(BoolVar zero)
PropTrue(BoolVar one)
-
Uses of BoolVar in org.chocosolver.solver.constraints.nary.min_max
Constructors in org.chocosolver.solver.constraints.nary.min_max with parameters of type BoolVar Constructor Description PropBoolMax(BoolVar[] variables, BoolVar maxVar)
PropBoolMin(BoolVar[] variables, BoolVar minVar)
-
Uses of BoolVar in org.chocosolver.solver.constraints.nary.sum
Constructors in org.chocosolver.solver.constraints.nary.sum with parameters of type BoolVar Constructor Description PropSumBool(BoolVar[] variables, int pos, Operator o, IntVar sum, int b)
Creates a sum propagator: SUM(x_i) Op sum + b, where x_i are boolean variables.PropSumBool(BoolVar[] variables, int pos, Operator o, IntVar sum, int b, boolean reactOnFineEvent)
Creates a sum propagator: SUM(x_i) Op sum + b, where x_i are boolean variables.PropSumBoolIncr(BoolVar[] variables, int pos, Operator o, IntVar sum, int b)
Creates a sum propagator: SUM(x_i) Op sum + b, where x_i are boolean variables, maintained incrementally.PropSumFullBool(BoolVar[] variables, int pos, Operator o, int b)
Creates a sum propagator: SUM(x_i) Op b, where x_i are boolean variables.PropSumFullBool(BoolVar[] variables, int pos, Operator o, int b, boolean reactOnFineEvent)
Creates a sum propagator: SUM(x_i) Op b, where x_i are boolean variables.PropSumFullBoolIncr(BoolVar[] variables, int pos, Operator o, int b)
Creates a sum propagator: SUM(x_i) Op b, where x_i are boolean variables, maintained incrementally. -
Uses of BoolVar in org.chocosolver.solver.constraints.real
Methods in org.chocosolver.solver.constraints.real with parameters of type BoolVar Modifier and Type Method Description protected void
RealPropagator. reify(BoolVar r)
void
RealConstraint. reifyWith(BoolVar bool)
Reifies the constraint with a boolean variable If the reified boolean variable already exists, an additional (equality) constraint is automatically posted. -
Uses of BoolVar in org.chocosolver.solver.constraints.reification
Constructors in org.chocosolver.solver.constraints.reification with parameters of type BoolVar Constructor Description PropXeqCReif(IntVar x, int c, BoolVar r)
PropXeqYCReif(IntVar x, IntVar y, int c, BoolVar b)
PropXinSReif(IntVar x, IntIterableRangeSet set, BoolVar r)
PropXltCReif(IntVar x, int c, BoolVar r)
PropXltYCReif(IntVar x, IntVar y, int c, BoolVar r)
-
Uses of BoolVar in org.chocosolver.solver.constraints.set
Constructors in org.chocosolver.solver.constraints.set with parameters of type BoolVar Constructor Description PropBoolChannel(SetVar setVar, BoolVar[] boolVars, int offSet)
Channeling between a set variable and boolean variables i in setVar <=> boolVars[i-offSet] = TRUE -
Uses of BoolVar in org.chocosolver.solver.expression.discrete.logical
Fields in org.chocosolver.solver.expression.discrete.logical declared as BoolVar Modifier and Type Field Description protected BoolVar
LoExpression. me
Lazy creation of the underlying variableMethods in org.chocosolver.solver.expression.discrete.logical that return BoolVar Modifier and Type Method Description BoolVar
BiLoExpression. boolVar()
abstract BoolVar
LoExpression. boolVar()
BoolVar
NaLoExpression. boolVar()
BoolVar
UnLoExpression. boolVar()
-
Uses of BoolVar in org.chocosolver.solver.expression.discrete.relational
Methods in org.chocosolver.solver.expression.discrete.relational that return BoolVar Modifier and Type Method Description BoolVar
BiReExpression. boolVar()
BoolVar
NaReExpression. boolVar()
BoolVar
ReExpression. boolVar()
-
Uses of BoolVar in org.chocosolver.solver.variables
Methods in org.chocosolver.solver.variables that return BoolVar Modifier and Type Method Description BoolVar
Variable. asBoolVar()
default BoolVar
IViewFactory. boolNotView(BoolVar bool)
Creates a view over bool holding the logical negation of bool (ie, ¬BOOL).default BoolVar
BoolVar. boolVar()
default BoolVar
IVariableFactory. boolVar()
Create a boolean variable, i.e. a particular integer variable of domain {0, 1}default BoolVar
IVariableFactory. boolVar(boolean value)
Create a constant boolean variable equal to 1 if value is true and 0 otherwisedefault BoolVar
IVariableFactory. boolVar(String name)
Create a boolean variabledefault BoolVar
IVariableFactory. boolVar(String name, boolean value)
Create a constant boolean variable equal to 1 if value is true and 0 otherwisedefault BoolVar[]
IVariableFactory. boolVarArray(int size)
Create an array of size boolean variablesdefault BoolVar[]
IVariableFactory. boolVarArray(String name, int size)
Create an array of size boolean variablesdefault BoolVar[][]
IVariableFactory. boolVarMatrix(int dim1, int dim2)
Create a dim1*dim2-sized matrix of boolean variablesdefault BoolVar[][]
IVariableFactory. boolVarMatrix(String name, int dim1, int dim2)
Create a dim1*dim2-sized matrix of boolean variablesdefault BoolVar
IViewFactory. intEqView(IntVar x, int c)
Creates an view over x such that: (x = c) ⇔ b.default BoolVar
IViewFactory. intGeView(IntVar x, int c)
Creates an view over x such that: (x ≥ c) ⇔ b.default BoolVar
IViewFactory. intLeView(IntVar x, int c)
Creates an view over x such that: (x ≤ c) ⇔ b.default BoolVar
IViewFactory. intNeView(IntVar x, int c)
Creates an view over x such that: (x !BoolVar
BoolVar. not()
default BoolVar[]
IVariableFactory. toBoolVar(IntVar... ivars)
Converts ivars into an array of boolean variablesMethods in org.chocosolver.solver.variables with parameters of type BoolVar Modifier and Type Method Description void
BoolVar. _setNot(BoolVar not)
default BoolVar
IViewFactory. boolNotView(BoolVar bool)
Creates a view over bool holding the logical negation of bool (ie, ¬BOOL). -
Uses of BoolVar in org.chocosolver.solver.variables.impl
Classes in org.chocosolver.solver.variables.impl that implement BoolVar Modifier and Type Class Description class
BoolVarImpl
class
FixedBoolVarImpl
A constant view specific to boolean variableMethods in org.chocosolver.solver.variables.impl that return BoolVar Modifier and Type Method Description BoolVar
AbstractVariable. asBoolVar()
BoolVar
BoolVarImpl. not()
BoolVar
FixedBoolVarImpl. not()
Methods in org.chocosolver.solver.variables.impl with parameters of type BoolVar Modifier and Type Method Description void
BoolVarImpl. _setNot(BoolVar neg)
void
FixedBoolVarImpl. _setNot(BoolVar not)
-
Uses of BoolVar in org.chocosolver.solver.variables.view
Classes in org.chocosolver.solver.variables.view that implement BoolVar 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.Methods in org.chocosolver.solver.variables.view that return BoolVar Modifier and Type Method Description BoolVar
BoolNotView. not()
BoolVar
IntBoolView. not()
Methods in org.chocosolver.solver.variables.view with parameters of type BoolVar Modifier and Type Method Description void
BoolNotView. _setNot(BoolVar not)
void
IntBoolView. _setNot(BoolVar neg)
Constructors in org.chocosolver.solver.variables.view with parameters of type BoolVar Constructor Description BoolNotView(BoolVar var)
Create a not view based on var -
Uses of BoolVar in org.chocosolver.util.tools
Methods in org.chocosolver.util.tools that return BoolVar Modifier and Type Method Description static BoolVar[]
ArrayUtils. append(BoolVar[]... toAppend)
Append two Arraysstatic BoolVar[]
ArrayUtils. concat(BoolVar[] array, BoolVar... elements)
Append elements at the end of another arrayMethods in org.chocosolver.util.tools with parameters of type BoolVar Modifier and Type Method Description static BoolVar[]
ArrayUtils. append(BoolVar[]... toAppend)
Append two Arraysstatic BoolVar[]
ArrayUtils. concat(BoolVar[] array, BoolVar... elements)
Append elements at the end of another array
-