Uses of Interface
org.chocosolver.solver.variables.Variable
-
-
Uses of Variable in org.chocosolver.solver
Methods in org.chocosolver.solver with type parameters of type Variable Modifier and Type Method Description <V extends Variable>
IObjectiveManager<V>Solver. getObjectiveManager()
<V extends Variable>
AbstractStrategy<V>Solver. getSearch()
Methods in org.chocosolver.solver that return Variable Modifier and Type Method Description Variable
Model. getObjective()
Return the (possibly null) objective variableVariable
Model. getVar(int i)
Returns the ith variable within the array of variables defined inthis
.Variable[]
Model. getVars()
Returns the array ofVariable
objects declared in thisModel
.Methods in org.chocosolver.solver with parameters of type Variable Modifier and Type Method Description void
Model. associates(Variable variable)
Link a variable tothis
.void
Model. setObjective(boolean maximize, Variable objective)
Defines the variable to optimize (maximize or minimize) By default, each solution forces either : forModel.MAXIMIZE
: to increase by oneIntVar
(orModel.precision
forRealVar
) the objective lower bound, or forModel.MINIMIZE
: to decrease by oneIntVar
(orModel.precision
forRealVar
) the objective upper bound.void
Solver. throwsException(ICause c, Variable v, String s)
void
Model. unassociates(Variable variable)
Unlink the variable fromthis
.Constructors in org.chocosolver.solver with parameters of type Variable Constructor Description Solution(Model model, Variable... varsToStore)
Create an empty solution object able to store the value of each variable invarsToStore
when callingrecord()
Stores all variables by default, whenvarsToStore
is empty -
Uses of Variable in org.chocosolver.solver.constraints
Classes in org.chocosolver.solver.constraints with type parameters of type Variable Modifier and Type Class Description class
Propagator<V extends Variable>
APropagator
class defines methods to react on aVariable
objects modifications.Fields in org.chocosolver.solver.constraints declared as Variable Modifier and Type Field Description protected V[]
Propagator. vars
List of variables this propagators deal with.Methods in org.chocosolver.solver.constraints that return Variable Modifier and Type Method Description V[]
Propagator. getVars()
Methods in org.chocosolver.solver.constraints with parameters of type Variable Modifier and Type Method Description protected void
Propagator. addVariable(V... nvars)
Enlarges the variable scope of this propagator Should not be called by the user.default RealConstraint
IRealConstraintFactory. ibex(String functions, Variable... rvars)
Creates a RealConstraint to model one or more continuous functions, separated with semi-colon ";"
A function is a string declared using the following format:
- the '{i}' tag defines a variable, where 'i' is an explicit index the array of variablesvars
,
- one or more operators :'+,-,*,/,=,<,>,<=,>=,exp( ),ln( ),max( ),min( ),abs( ),cos( ), sin( ),...'default RealConstraint
IRealConstraintFactory. realIbexGenericConstraint(String functions, Variable... rvars)
Creates a RealConstraint to model one or more continuous functions, separated with semi-colon ";"
A function is a string declared using the following format:
- the '{i}' tag defines a variable, where 'i' is an explicit index the array of variablesvars
,
- one or more operators :'+,-,*,/,=,<,>,<=,>=,exp( ),ln( ),max( ),min( ),abs( ),cos( ), sin( ),...'default Constraint
IRealConstraintFactory. scalar(Variable[] vars, double[] coeffs, String op, double bound)
Creates a linear equation constraint over RealVar, IntVar or BoolVar which ensures that Sum(vars[i]*coeffs[i]) op boundConstructors in org.chocosolver.solver.constraints with parameters of type Variable Constructor Description Propagator(V... vars)
Creates a non-incremental propagator which does not react to fine events but simply calls a coarse propagation any time a variable in vars has changed.Propagator(V[] vars, PropagatorPriority priority, boolean reactToFineEvt)
Creates a new propagator to filter the domains of vars.Propagator(V[] vars, PropagatorPriority priority, boolean reactToFineEvt, boolean swapOnPassivate)
Creates a new propagator to filter the domains of vars. -
Uses of Variable in org.chocosolver.solver.constraints.nary.nvalue.amnv.differences
Constructors in org.chocosolver.solver.constraints.nary.nvalue.amnv.differences with parameters of type Variable Constructor Description AutoDiffDetection(Variable[] scope)
-
Uses of Variable in org.chocosolver.solver.constraints.real
Constructors in org.chocosolver.solver.constraints.real with parameters of type Variable Constructor Description PropScalarMixed(Variable[] variables, double[] coeffs, Operator o, double b)
Create a scalar product: SCALAR(x_i*c_i) o bRealConstraint(String functions, Variable... rvars)
Make a new RealConstraint to model one or more continuous functions, separated with semi-colon ";"
A function is a string declared using the following format:
- the '{i}' tag defines a variable, where 'i' is an explicit index the array of variablesvars
,
- one or more operators :'+,-,*,/,=,<,>,<=,>=,exp( ),ln( ),max( ),min( ),abs( ),cos( ), sin( ),...'RealPropagator(String functions, Variable[] vars)
Create a propagator on real variables, propagated using IBEX. -
Uses of Variable in org.chocosolver.solver.constraints.reification
Constructors in org.chocosolver.solver.constraints.reification with parameters of type Variable Constructor Description PropConditionnal(Variable[] vars2observe, Constraint[] condTrue, Constraint[] condFalse)
PropOpposite(Constraint original, Variable[] vars)
PropReif(Variable[] allVars, Constraint consIfBoolTrue, Constraint consIfBoolFalse)
-
Uses of Variable in org.chocosolver.solver.exception
Fields in org.chocosolver.solver.exception declared as Variable Modifier and Type Field Description Variable
ContradictionException. v
Methods in org.chocosolver.solver.exception with parameters of type Variable Modifier and Type Method Description ContradictionException
ContradictionException. set(ICause c, Variable v, String s)
Throws the uniqueContradictionException
filled with the specified parameters. -
Uses of Variable in org.chocosolver.solver.objective
Classes in org.chocosolver.solver.objective with type parameters of type Variable Modifier and Type Interface Description interface
IObjectiveManager<V extends Variable>
interface to monitor the bounds of the objective variable.Methods in org.chocosolver.solver.objective that return types with arguments of type Variable Modifier and Type Method Description static IObjectiveManager<Variable>
ObjectiveFactory. SAT()
Define a manager for satisfaction problems. -
Uses of Variable in org.chocosolver.solver.propagation
Methods in org.chocosolver.solver.propagation with parameters of type Variable Modifier and Type Method Description void
PropagationEngine. onVariableUpdate(Variable variable, IEventType type, ICause cause)
Take into account the modification of a variable -
Uses of Variable in org.chocosolver.solver.search.loop.move
Methods in org.chocosolver.solver.search.loop.move with type parameters of type Variable Modifier and Type Method Description <V extends Variable>
AbstractStrategy<V>Move. getStrategy()
Returns the search strategy in use.<V extends Variable>
AbstractStrategy<V>MoveBinaryDFS. getStrategy()
<V extends Variable>
AbstractStrategy<V>MoveLNS. getStrategy()
<V extends Variable>
AbstractStrategy<V>MoveRestart. getStrategy()
<V extends Variable>
AbstractStrategy<V>MoveSeq. getStrategy()
<V extends Variable>
voidMove. setStrategy(AbstractStrategy<V> aStrategy)
Defines a search strategy, that is, a service which computes and returns decisions.<V extends Variable>
voidMoveBinaryDFS. setStrategy(AbstractStrategy<V> aStrategy)
<V extends Variable>
voidMoveLNS. setStrategy(AbstractStrategy<V> aStrategy)
<V extends Variable>
voidMoveRestart. setStrategy(AbstractStrategy<V> aStrategy)
<V extends Variable>
voidMoveSeq. setStrategy(AbstractStrategy<V> aStrategy)
-
Uses of Variable in org.chocosolver.solver.search.strategy
Methods in org.chocosolver.solver.search.strategy with type parameters of type Variable Modifier and Type Method Description static <V extends Variable>
AbstractStrategy<V>Search. conflictOrderingSearch(AbstractStrategy<V> formerSearch)
Use the conflict ordering search as a pluggin to improve a former search heuristic Should be set after specifying a search strategy.static <V extends Variable>
AbstractStrategy<V>Search. lastConflict(AbstractStrategy<V> formerSearch)
Use the last conflict heuristic as a pluggin to improve a former search heuristic Should be set after specifying a search strategy.static <V extends Variable>
AbstractStrategy<V>Search. lastConflict(AbstractStrategy<V> formerSearch, int k)
Use the last conflict heuristic as a pluggin to improve a former search heuristic Should be set after specifying a search strategy. -
Uses of Variable in org.chocosolver.solver.search.strategy.assignments
Classes in org.chocosolver.solver.search.strategy.assignments with type parameters of type Variable Modifier and Type Interface Description interface
DecisionOperator<V extends Variable>
-
Uses of Variable in org.chocosolver.solver.search.strategy.decision
Classes in org.chocosolver.solver.search.strategy.decision with type parameters of type Variable Modifier and Type Class Description class
Decision<E extends Variable>
An abstract which defines a DecisionFields in org.chocosolver.solver.search.strategy.decision declared as Variable Modifier and Type Field Description protected E
Decision. var
Variable of this decision -
Uses of Variable in org.chocosolver.solver.search.strategy.selectors.variables
Classes in org.chocosolver.solver.search.strategy.selectors.variables with type parameters of type Variable Modifier and Type Class Description class
Cyclic<V extends Variable>
A cyclic variable selector : Iterates over variables according to lexicographic ordering in a cyclic manner (loop back to the first variable)class
InputOrder<V extends Variable>
Input order variable selector.class
Occurrence<V extends Variable>
Occurrence variable selector.class
Random<T extends Variable>
Random variable selector.interface
VariableEvaluator<V extends Variable>
A variable evaluator.interface
VariableSelector<V extends Variable>
A variable selector specifies which variable should be selected at a fix point.class
VariableSelectorWithTies<V extends Variable>
Methods in org.chocosolver.solver.search.strategy.selectors.variables that return Variable Modifier and Type Method Description Variable
GeneralizedMinDomVarSelector. getVariable(Variable[] variables)
Methods in org.chocosolver.solver.search.strategy.selectors.variables with parameters of type Variable Modifier and Type Method Description V
Cyclic. getVariable(V[] vars)
Variable
GeneralizedMinDomVarSelector. getVariable(Variable[] variables)
V
InputOrder. getVariable(V[] variables)
V
Occurrence. getVariable(V[] variables)
T
Random. getVariable(T[] variables)
V
VariableSelector. getVariable(V[] variables)
Provides access to the current selected variable amongvariables
.V
VariableSelectorWithTies. getVariable(V[] variables)
-
Uses of Variable in org.chocosolver.solver.search.strategy.strategy
Classes in org.chocosolver.solver.search.strategy.strategy with type parameters of type Variable Modifier and Type Class Description class
AbstractStrategy<V extends Variable>
A search strategy provides decisions to go down in the search space.class
ConflictOrderingSearch<V extends Variable>
Conflict Ordering Search Composite heuristic which hacks a mainStrategy by forcing the use of variables involved in recent conflicts See "Conflict Ordering Search for Scheduling Problems", Steven Gay et al., CP2015.class
FindAndProve<V extends Variable>
Enables to switch from one heuristic to another once a solution has been foundclass
LastConflict<V extends Variable>
Last Conflict heuristic Composite heuristic which hacks a mainStrategy by forcing the use of variables involved in recent conflictsFields in org.chocosolver.solver.search.strategy.strategy declared as Variable Modifier and Type Field Description protected V[]
AbstractStrategy. vars
Fields in org.chocosolver.solver.search.strategy.strategy with type parameters of type Variable Modifier and Type Field Description protected Set<Variable>
LastConflict. scope
Methods in org.chocosolver.solver.search.strategy.strategy that return Variable Modifier and Type Method Description V[]
AbstractStrategy. getVariables()
Methods in org.chocosolver.solver.search.strategy.strategy that return types with arguments of type Variable Modifier and Type Method Description Decision<Variable>
StrategiesSequencer. computeDecision(Variable variable)
Methods in org.chocosolver.solver.search.strategy.strategy with parameters of type Variable Modifier and Type Method Description Decision
GreedyBranching. computeDecision(Variable variable)
Decision<Variable>
StrategiesSequencer. computeDecision(Variable variable)
Constructors in org.chocosolver.solver.search.strategy.strategy with parameters of type Variable Constructor Description AbstractStrategy(V... variables)
FindAndProve(V[] vars, AbstractStrategy<V> heurToFindASol, AbstractStrategy<V> heurToProveOpt)
Heuristic which switches from one heuristic (heurToFindASol) to another (heurToProveOpt) once a solution has been found -
Uses of Variable in org.chocosolver.solver.variables
Classes in org.chocosolver.solver.variables with type parameters of type Variable Modifier and Type Interface Description interface
IVariableMonitor<V extends Variable>
A monitor for Variable, to observe variable modification (for integer variable : value removals, bounds modification or instantiation) and do something right after the modification.Subinterfaces of Variable in org.chocosolver.solver.variables Modifier and Type Interface Description interface
BoolVar
CPRU r544: remove default implementationinterface
IntVar
Interface for integer variables.interface
RealVar
An interface to declare variable for continuous constraints (solved using IBEX).interface
SetVar
A Set Variable is defined by a domain which is a set interval [LB,UB], where: LB is the set of integers that must belong to every single solution. -
Uses of Variable in org.chocosolver.solver.variables.impl
Classes in org.chocosolver.solver.variables.impl that implement Variable Modifier and Type Class Description class
AbstractVariable
Class used to factorise code The subclass must implement Variable interfaceclass
BitsetArrayIntVarImpl
IntVar implementation for quite small domains bit with very distant values e.g. {-51900,42,235923}class
BitsetIntVarImpl
class
BoolVarImpl
class
FixedBoolVarImpl
A constant view specific to boolean variableclass
FixedIntVarImpl
A IntVar with one domain value.class
FixedRealVarImpl
Project: choco-solver.class
IntervalIntVarImpl
class
RealVarImpl
An implementation of RealVar, variable for continuous constraints (solved using IBEX).class
SetVarImpl
Set variable to represent a set of integers, i.e. a value is a setMethods in org.chocosolver.solver.variables.impl with parameters of type Variable Modifier and Type Method Description int
AbstractVariable. compareTo(Variable o)
-
Uses of Variable in org.chocosolver.solver.variables.view
Subinterfaces of Variable in org.chocosolver.solver.variables.view Modifier and Type Interface Description interface
IView
An interface to define views.Classes in org.chocosolver.solver.variables.view that implement Variable 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
IntView<I extends IntVar>
"A view implements the same operations as a variable.class
LeqView
declare an BoolVar based on X and C, such as (X <= C) is reified by this.class
MinusView
View for -V, where V is a IntVar or viewclass
OffsetView
declare an IntVar based on X and C, such as X + C
Based on "Views and Iterators for Generic Constraint Implementations"
C.class
RealView
class
ScaleView
declare an IntVar based on X and C, such as X * CMethods in org.chocosolver.solver.variables.view with parameters of type Variable Modifier and Type Method Description int
IntView. compareTo(Variable o)
-
Uses of Variable in org.chocosolver.util.tools
Methods in org.chocosolver.util.tools with parameters of type Variable Modifier and Type Method Description static boolean
VariableUtils. isConstant(Variable var)
static boolean
VariableUtils. isReal(Variable var)
static boolean
VariableUtils. isView(Variable var)
-