Modifier and Type | Method and Description |
---|---|
static IntStrategy |
Search.intVarSearch(VariableSelector<IntVar> varSelector,
IntValueSelector valSelector,
DecisionOperator<IntVar> decisionOperator,
IntVar... vars)
Builds your own search strategy based on binary decisions.
|
Modifier and Type | Method and Description |
---|---|
static DecisionOperator<IntVar> |
DecisionOperatorFactory.makeIntEq() |
static DecisionOperator<IntVar> |
DecisionOperatorFactory.makeIntNeq() |
static DecisionOperator<IntVar> |
DecisionOperatorFactory.makeIntReverseSplit() |
static DecisionOperator<IntVar> |
DecisionOperatorFactory.makeIntSplit() |
static DecisionOperator<SetVar> |
DecisionOperatorFactory.makeSetForce() |
static DecisionOperator<SetVar> |
DecisionOperatorFactory.makeSetRemove() |
DecisionOperator<V> |
DecisionOperator.opposite() |
Modifier and Type | Method and Description |
---|---|
DecisionOperator<IntVar> |
IntDecision.getDecOp() |
Modifier and Type | Method and Description |
---|---|
IntDecision |
DecisionMaker.makeIntDecision(IntVar var,
DecisionOperator<IntVar> dop,
int value)
|
SetDecision |
DecisionMaker.makeSetDecision(SetVar var,
DecisionOperator<SetVar> dop,
int value)
|
void |
IntDecision.set(IntVar v,
int value,
DecisionOperator<IntVar> assignment)
Instantiate this decision with the parameters
|
void |
SetDecision.set(SetVar v,
int value,
DecisionOperator<SetVar> operator)
Instantiate this decision with the parameters
|
Modifier and Type | Field and Description |
---|---|
protected DecisionOperator<SetVar> |
SetStrategy.operator
A decision operator
|
Modifier and Type | Method and Description |
---|---|
DecisionOperator<IntVar> |
IntStrategy.getDecisionOperator() |
Constructor and Description |
---|
IntStrategy(IntVar[] scope,
VariableSelector<IntVar> varSelector,
IntValueSelector valSelector,
DecisionOperator<IntVar> decOperator)
Creates a search strategy which selects a variable X and a value V to perform
the decision X decOperator V
This can be X <= V for instance.
|
Copyright © 2017. All rights reserved.