Uses of Interface
org.maxicp.cp.engine.core.CPBoolVar
Packages that use CPBoolVar
Package
Description
Constraint Programming Solver Implementation
Constraints implementation (propagators)
Constraints implementation for Scheduling over Interval Variables and Cumulative Functions
Constraints implementation for Set Variables
Solver objects
CP Instantiation of the Symbolic Modeling API
-
Uses of CPBoolVar in org.maxicp.cp
Methods in org.maxicp.cp that return CPBoolVarModifier and TypeMethodDescriptionstatic CPBoolVarCPFactory.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 CPBoolVarCPFactory.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 CPBoolVarReturns a boolean variable representing whether one variable is equal to the given constant.static CPBoolVarReturns a boolean variable representing whether two variables are equal This relation is enforced by theIsEqualVarconstraint posted by calling this method.static CPBoolVarReturns a boolean variable representing whether one variable is larger or equal to the given constant.static CPBoolVarReturns a boolean variable representing whether one variable is larger or equal to another.static CPBoolVarReturns a boolean variable representing whether one variable is larger than the given constant.static CPBoolVarReturns a boolean variable representing whether one variable is larger than the given constant.static CPBoolVarCPFactory.isIncluded(CPSetVar x, int v) Returns a boolean variable representing if a set variable contains a given value.static CPBoolVarReturns a boolean variable representing whether one variable is less or equal to the given constant.static CPBoolVarReturns a boolean variable representing whether one variable is less or equal to another.static CPBoolVarReturns a boolean variable representing whether one variable is less than the given constant.static CPBoolVarReturns a boolean variable representing whether one variable is less than the given constant.static CPBoolVarReturns a boolean variable representing whether one variable is not equal to the given constant.static CPBoolVarReturns a boolean variable representing whether two variables are not equalstatic CPBoolVarReturns a variable that is true if at least one variable in x is true, false otherwise.static CPBoolVarCPFactory.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 CPBoolVarCPFactory.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 CPBoolVarCPFactory.makeBoolVar(CPSolver cp) Creates a boolean variable.static CPBoolVarCPFactory.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 functionstatic CPBoolVar[]CPFactory.makeBoolVarArray(CPSolver cp, int n) Creates an array of boolean variables with specified domain size.static CPBoolVarA boolean variable that is a view of!b.static CPBoolVarCPFactory.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 CPBoolVarModifier and TypeMethodDescriptionstatic CPConstraintModel the logical implication constraintstatic CPConstraintReturns the reified version of the constraintx <= y, i.e. the boolean variable that is set to true if and only ifx <= y.static CPConstraintReturns the reified version of the constraintx < y, i.e. the boolean variable that is set to true if and only ifx < y.static CPBoolVarReturns a variable that is true if at least one variable in x is true, false otherwise.static CPIntVarA variable that isx*b.static CPBoolVarA boolean variable that is a view of!b.static CPConstraintReturns an or constraint.Method parameters in org.maxicp.cp with type arguments of type CPBoolVarModifier and TypeMethodDescriptionstatic 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 CPBoolVarModifierConstructorDescriptionBinaryKnapsack(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) 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 equalIsLessOrEqual(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 constraintb <=> x <= y.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) Creates the constraint x * b = yCreates 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 CPBoolVarModifier and TypeMethodDescriptionNoOverlap.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.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 CPBoolVarModifierConstructorDescriptionIsEndAfter(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var) true iff end >= varIsEndBefore(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 oneIsEndBeforeStart(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore) Creates a constraint that link a boolean variable representing whether an interval ends before the start of another oneIsStartBefore(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 oneIsStartBeforeStart(CPIntervalVar a, CPIntervalVar b, CPBoolVar isBefore) Creates a constraint that link a boolean variable representing whether an interval start before the start of another oneNoOverlapBinaryWithTransitionTime(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 CPBoolVarModifierConstructorDescriptionIsIncluded(CPBoolVar bool, CPSetVar set, int v) Creates a constraint that links a boolean variable to the inclusion of a value in a set.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 CPBoolVarMethods in org.maxicp.cp.engine.core that return CPBoolVarModifier and TypeMethodDescriptionCPSeqVar.isNodeRequired(int node) Gives a variable telling if a given node must be visitedCPSeqVarImpl.isNodeRequired(int node) CPSeqVarViewFlip.isNodeRequired(int node) CPNodeVar.isRequired()Gives a boolean variable telling if the node is requiredCPNodeVarViewFlip.isRequired()CPIntervalVar.status()Return a variable linked to the status of the interval, that is present (true) or absent (false)CPIntervalVarImpl.status()CPIntervalVarOffset.status()Methods in org.maxicp.cp.engine.core with parameters of type CPBoolVar -
Uses of CPBoolVar in org.maxicp.cp.modeling
Methods in org.maxicp.cp.modeling that return CPBoolVarModifier and TypeMethodDescriptionConcreteCPModel.getCPVar(BoolExpression v) ConcreteCPModel.getCPVar(BoolExpression[] v)