Uses of Interface
minicp.engine.core.BoolVar

Packages that use BoolVar

Package	Description
minicp.cp	Factory methods for modeling and create search heuristics
minicp.engine.constraints	Constraints
minicp.engine.core	Solver objects

Uses of BoolVar in minicp.cp

Methods in minicp.cp that return BoolVar

Modifier and Type	Method and Description
static BoolVar	Factory.isEqual(IntVar x, int c) Returns a boolean variable representing whether one variable is equal to the given constant.
static BoolVar	Factory.isLarger(IntVar x, int c) Returns a boolean variable representing whether one variable is larger than the given constant.
static BoolVar	Factory.isLargerOrEqual(IntVar x, int c) Returns a boolean variable representing whether one variable is larger or equal to the given constant.
static BoolVar	Factory.isLess(IntVar x, int c) Returns a boolean variable representing whether one variable is less than the given constant.
static BoolVar	Factory.isLessOrEqual(IntVar x, int c) Returns a boolean variable representing whether one variable is less or equal to the given constant.
static BoolVar	Factory.makeBoolVar(Solver cp) Creates a boolean variable.

Uses of BoolVar in minicp.engine.constraints

Constructors in minicp.engine.constraints with parameters of type BoolVar

Constructor and Description
IsEqual(BoolVar b, IntVar x, int c) Returns a boolean variable representing whether one variable is equal to the given constant.
IsLessOrEqual(BoolVar b, IntVar x, int c) Creates a constraint that link a boolean variable representing whether one variable is less or equal to the given constant.
IsLessOrEqualVar(BoolVar b, IntVar x, IntVar y) Creates a reified is less or equal constraint b <=> x <= y.
IsOr(BoolVar b, BoolVar[] x) Creates a constraint such that the boolean b is true if and only if at least variable in x is true.
IsOr(BoolVar b, BoolVar[] x) Creates a constraint such that the boolean b is true if and only if at least variable in x is true.
Or(BoolVar[] x) Creates a logical or constraint: at least one variable is true: x1 or x2 or ... xn

Uses of BoolVar in minicp.engine.core

Classes in minicp.engine.core that implement BoolVar

Modifier and Type	Class and Description
class	BoolVarImpl
class	BoolVarIsEqual

Methods in minicp.engine.core with parameters of type BoolVar

Modifier and Type	Method and Description
void	MiniCP.post(BoolVar b)
void	Solver.post(BoolVar b) Forces the boolean variable to be true and then computes the fix-point.