Uses of Interface
org.maxicp.cp.engine.core.CPBoolVar

Packages that use CPBoolVar

Package	Description
org.maxicp.cp	Constraint Programming Solver Implementation
org.maxicp.cp.engine.constraints	Constraints implementation (propagators)
org.maxicp.cp.engine.constraints.scheduling	Constraints implementation for Scheduling over Interval Variables and Cumulative Functions
org.maxicp.cp.engine.constraints.setvar	Constraints implementation for Set Variables
org.maxicp.cp.engine.core	Solver objects
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API

Uses of CPBoolVar in org.maxicp.cp

Methods in org.maxicp.cp that return CPBoolVar

Modifier and Type	Method	Description
static CPBoolVar	CPFactory.isEndBeforeEnd(CPIntervalVar var1, CPIntervalVar var2)	Returns a boolean variable representing whether the interval variable var1 ends at or before the end of the interval variable var2.
static CPBoolVar	CPFactory.isEndBeforeStart(CPIntervalVar var1, CPIntervalVar var2)	Returns a boolean variable representing whether the interval variable var1 ends at or before the start of the interval variable var2.
static CPBoolVar	CPFactory.isEq(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is equal to the given constant.
static CPBoolVar	CPFactory.isEq(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether two variables are equal This relation is enforced by the IsEqualVar constraint posted by calling this method.
static CPBoolVar	CPFactory.isGe(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is larger or equal to the given constant.
static CPBoolVar	CPFactory.isGe(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether one variable is larger or equal to another.
static CPBoolVar	CPFactory.isGt(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is larger than the given constant.
static CPBoolVar	CPFactory.isGt(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether one variable is larger than the given constant.
static CPBoolVar	CPFactory.isIncluded(CPSetVar x, int v)	Returns a boolean variable representing if a set variable contains a given value.
static CPBoolVar	CPFactory.isLe(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is less or equal to the given constant.
static CPBoolVar	CPFactory.isLe(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether one variable is less or equal to another.
static CPBoolVar	CPFactory.isLt(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is less than the given constant.
static CPBoolVar	CPFactory.isLt(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether one variable is less than the given constant.
static CPBoolVar	CPFactory.isNeq(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is not equal to the given constant.
static CPBoolVar	CPFactory.isNeq(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether two variables are not equal
static CPBoolVar	CPFactory.isOr(CPBoolVar... x)	Returns a variable that is true if at least one variable in x is true, false otherwise.
static CPBoolVar	CPFactory.isStartBeforeEnd(CPIntervalVar var1, CPIntervalVar var2)	Returns a boolean variable representing whether the interval variable var1 starts at or before the end of the interval variable var2.
static CPBoolVar	CPFactory.isStartBeforeStart(CPIntervalVar var1, CPIntervalVar var2)	Returns a boolean variable representing whether the interval variable var1 starts at or before the start of the interval variable var2.
static CPBoolVar	CPFactory.makeBoolVar(CPSolver cp)	Creates a boolean variable.
static CPBoolVar	CPFactory.makeBoolVar(CPSolver cp, boolean containsTrue, boolean containsFalse)	Creates a boolean variable.
static CPBoolVar[]	CPFactory.makeBoolVarArray(int n, Function<Integer,CPBoolVar> body)	Creates an array of variables with specified lambda function
static CPBoolVar[]	CPFactory.makeBoolVarArray(CPSolver cp, int n)	Creates an array of boolean variables with specified domain size.
static CPBoolVar	CPFactory.not(CPBoolVar b)	A boolean variable that is a view of !b.
static CPBoolVar	CPFactory.strictOrder(CPIntVar x, CPIntVar y)	Creates a Boolean variable b encoding the strict ordering between x and y.

Methods in org.maxicp.cp with parameters of type CPBoolVar

Modifier and Type	Method	Description
static CPConstraint	CPFactory.implies(CPBoolVar b1, CPBoolVar b2)	Model the logical implication constraint
static CPConstraint	CPFactory.isLe(CPBoolVar b, CPIntVar x, CPIntVar y)	Returns the reified version of the constraint x <= y, i.e. the boolean variable that is set to true if and only if x <= y.
static CPConstraint	CPFactory.isLt(CPBoolVar b, CPIntVar x, CPIntVar y)	Returns the reified version of the constraint x < y, i.e. the boolean variable that is set to true if and only if x < y.
static CPBoolVar	CPFactory.isOr(CPBoolVar... x)	Returns a variable that is true if at least one variable in x is true, false otherwise.
static CPIntVar	CPFactory.mul(CPIntVar x, CPBoolVar b)	A variable that is x*b.
static CPBoolVar	CPFactory.not(CPBoolVar b)	A boolean variable that is a view of !b.
static CPConstraint	CPFactory.or(CPBoolVar... x)	Returns an or constraint.

Method parameters in org.maxicp.cp with type arguments of type CPBoolVar

Modifier and Type	Method	Description
static CPBoolVar[]	CPFactory.makeBoolVarArray(int n, Function<Integer,CPBoolVar> body)	Creates an array of variables with specified lambda function

Uses of CPBoolVar in org.maxicp.cp.engine.constraints

Constructors in org.maxicp.cp.engine.constraints with parameters of type CPBoolVar

Modifier	Constructor	Description
	BinaryKnapsack(CPBoolVar[] b, int[] weights, int load)	Constraint: load is the sum of the weights of items selected in to the knapsack.
	BinaryKnapsack(CPBoolVar[] b, int[] weights, int load, int n)
	BinaryKnapsack(CPBoolVar[] b, int[] weights, CPIntVar load)	A Binary Knapsack constraint ensures that the total load is equal to the sum of the weights of the selected items.
	BinaryKnapsack(CPBoolVar[] b, int[] weights, CPIntVar load, int n)
	IsEqual(CPBoolVar b, CPIntVar x, int v)	Returns a boolean variable representing whether one variable is equal to the given constant.
	IsEqualVar(CPBoolVar b, CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether two variables are equal
	IsLessOrEqual(CPBoolVar b, CPIntVar x, int v)	Creates a constraint that link a boolean variable representing whether one variable is less or equal to the given constant.
	IsLessOrEqualVar(CPBoolVar b, CPIntVar x, CPIntVar y)	Creates a reified is less or equal constraint b <=> x <= y.
	IsOr(CPBoolVar b, CPBoolVar[] x)	Creates a constraint such that the boolean b is true if and only if at least variable in x is true.
	LightBinaryKnapsack(CPBoolVar[] items, int[] weights, CPIntVar load)
	Mul(CPIntVar x, CPBoolVar b, CPIntVar y)	Creates the constraint x * b = y
	Or(CPBoolVar[] x)	Creates a logical or constraint: at least one variable is true: x1 or x2 or ... xn

Uses of CPBoolVar in org.maxicp.cp.engine.constraints.scheduling

Methods in org.maxicp.cp.engine.constraints.scheduling that return CPBoolVar

Modifier and Type	Method	Description
CPBoolVar[]	NoOverlap.precedenceVars()	Return the precedence variables that are used to model the non-overlap constraint They are n*(n-1)/2 variables where n is the number of interval variables.
CPBoolVar[]	NoOverlapBC.precedenceVars()	Return the precedence variables that are used to model the non-overlap constraint They are n*(n-1)/2 variables where n is the number of interval variables.

Constructors in org.maxicp.cp.engine.constraints.scheduling with parameters of type CPBoolVar

Modifier	Constructor	Description
	IsEndAfter(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var)	true iff end >= var
	IsEndBefore(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var)
	IsEndBeforeEnd(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore)	Creates a constraint that link a boolean variable representing whether an interval ends before the end of another one
	IsEndBeforeStart(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore)	Creates a constraint that link a boolean variable representing whether an interval ends before the start of another one
	IsStartBefore(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var)
	IsStartBeforeEnd(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore)	Creates a constraint that link a boolean variable representing whether an interval starts before the end of another one
	IsStartBeforeStart(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore)	Creates a constraint that link a boolean variable representing whether an interval start before the start of another one
	NoOverlapBinaryWithTransitionTime(CPBoolVar AprecedesB, CPIntervalVar A, CPIntervalVar B, int transitionTimeAB, int transitionTimeBA)

Uses of CPBoolVar in org.maxicp.cp.engine.constraints.setvar

Constructors in org.maxicp.cp.engine.constraints.setvar with parameters of type CPBoolVar

Modifier	Constructor	Description
	IsIncluded(CPBoolVar bool, CPSetVar set, int v)	Creates a constraint that links a boolean variable to the inclusion of a value in a set.
	IsSubset(CPBoolVar b, CPSetVar set1, CPSetVar set2)	Creates a constraint that enforces the boolean variable b to be true if and only set1 is a subset (not necessarily strict) of set2 .

Uses of CPBoolVar in org.maxicp.cp.engine.core

Classes in org.maxicp.cp.engine.core that implement CPBoolVar

Modifier and Type	Class	Description
class	CPBoolVarImpl
class	CPBoolVarIsEqual

Methods in org.maxicp.cp.engine.core that return CPBoolVar

Modifier and Type	Method	Description
CPBoolVar	CPSeqVar.isNodeRequired(int node)	Gives a variable telling if a given node must be visited
CPBoolVar	CPSeqVarImpl.isNodeRequired(int node)
CPBoolVar	CPSeqVarViewFlip.isNodeRequired(int node)
CPBoolVar	CPNodeVar.isRequired()	Gives a boolean variable telling if the node is required
CPBoolVar	CPNodeVarViewFlip.isRequired()
CPBoolVar	CPIntervalVar.status()	Return a variable linked to the status of the interval, that is present (true) or absent (false)
CPBoolVar	CPIntervalVarImpl.status()
CPBoolVar	CPIntervalVarOffset.status()

Methods in org.maxicp.cp.engine.core with parameters of type CPBoolVar

Modifier and Type	Method	Description
void	CPSolver.post(CPBoolVar b)	Forces the boolean variable to be true and then computes the fix-point.
void	MaxiCP.post(CPBoolVar b)

Uses of CPBoolVar in org.maxicp.cp.modeling

Methods in org.maxicp.cp.modeling that return CPBoolVar

Modifier and Type	Method	Description
CPBoolVar	ConcreteCPModel.asBoolVar(CPIntVar v)
CPBoolVar	ConcreteCPModel.getCPVar(BoolExpression v)
CPBoolVar[]	ConcreteCPModel.getCPVar(BoolExpression[] v)