Constraint |
CpModel.addAbsEquality(IntVar target,
IntVar var) |
Adds target == Abs(var).
|
Constraint |
CpModel.addAllDifferent(IntVar[] variables) |
Adds AllDifferent(variables).
|
Constraint |
CpModel.addAllowedAssignments(IntVar[] variables,
int[][] tuplesList) |
Adds AllowedAssignments(variables, tuplesList).
|
Constraint |
CpModel.addAllowedAssignments(IntVar[] variables,
long[][] tuplesList) |
Adds AllowedAssignments(variables, tuplesList).
|
Constraint |
CpModel.addAutomaton(IntVar[] transitionVariables,
long startingState,
long[] finalStates,
long[][] transitions) |
Adds an automaton constraint.
|
Constraint |
CpModel.addCumulative(IntervalVar[] intervals,
int[] demands,
IntVar capacity) |
Adds Cumulative(intervals, demands, capacity) with fixed demands.
|
Constraint |
CpModel.addCumulative(IntervalVar[] intervals,
long[] demands,
IntVar capacity) |
Adds Cumulative(intervals, demands, capacity) with fixed demands.
|
Constraint |
CpModel.addCumulative(IntervalVar[] intervals,
IntVar[] demands,
long capacity) |
Adds Cumulative(intervals, demands, capacity) with fixed capacity.
|
Constraint |
CpModel.addCumulative(IntervalVar[] intervals,
IntVar[] demands,
IntVar capacity) |
Adds Cumulative(intervals, demands, capacity).
|
void |
CpModel.addDecisionStrategy(IntVar[] variables,
DecisionStrategyProto.VariableSelectionStrategy varStr,
DecisionStrategyProto.DomainReductionStrategy domStr) |
Adds DecisionStrategy(variables, varStr, domStr).
|
Constraint |
CpModel.addDifferent(IntVar left,
IntVar right) |
Adds left != right.
|
Constraint |
CpModel.addDifferentWithOffset(IntVar left,
IntVar right,
long offset) |
Adds left + offset != right.
|
Constraint |
CpModel.addDivisionEquality(IntVar target,
IntVar num,
IntVar denom) |
Adds target == num / denom, rounded towards 0.
|
Constraint |
CpModel.addElement(IntVar index,
int[] values,
IntVar target) |
Adds the element constraint: values[index] == target.
|
Constraint |
CpModel.addElement(IntVar index,
long[] values,
IntVar target) |
Adds the element constraint: values[index] == target.
|
Constraint |
CpModel.addElement(IntVar index,
IntVar[] variables,
IntVar target) |
Adds the element constraint: variables[index] == target.
|
Constraint |
CpModel.addForbiddenAssignments(IntVar[] variables,
int[][] tuplesList) |
Adds ForbiddenAssignments(variables, tuplesList).
|
Constraint |
CpModel.addForbiddenAssignments(IntVar[] variables,
long[][] tuplesList) |
Adds ForbiddenAssignments(variables, tuplesList).
|
void |
CpModel.addHint(IntVar var,
long value) |
Adds hinting to a variable
|
Constraint |
CpModel.addInverse(IntVar[] variables,
IntVar[] inverseVariables) |
Adds Inverse(variables, inverseVariables).
|
void |
CpModel.addMapDomain(IntVar var,
Literal[] booleans,
long offset) |
Adds var == i + offset <=> booleans[i] == true for all i in [0, booleans.length).
|
Constraint |
CpModel.addMaxEquality(IntVar target,
IntVar[] vars) |
Adds target == Max(vars).
|
Constraint |
CpModel.addMinEquality(IntVar target,
IntVar[] vars) |
Adds target == Min(vars).
|
Constraint |
CpModel.addModuloEquality(IntVar target,
IntVar var,
long mod) |
Adds target == var % mod.
|
Constraint |
CpModel.addModuloEquality(IntVar target,
IntVar var,
IntVar mod) |
Adds target == var % mod.
|
Constraint |
CpModel.addProductEquality(IntVar target,
IntVar[] vars) |
Adds target == Product(vars).
|
Constraint |
CpModel.addReservoirConstraint(IntVar[] times,
int[] demands,
long minLevel,
long maxLevel) |
Adds Reservoir(times, demands, minLevel, maxLevel).
|
Constraint |
CpModel.addReservoirConstraint(IntVar[] times,
long[] demands,
long minLevel,
long maxLevel) |
Adds Reservoir(times, demands, minLevel, maxLevel).
|
Constraint |
CpModel.addReservoirConstraintWithActive(IntVar[] times,
int[] demands,
IntVar[] actives,
long minLevel,
long maxLevel) |
Adds Reservoir(times, demands, actives, minLevel, maxLevel).
|
Constraint |
CpModel.addReservoirConstraintWithActive(IntVar[] times,
long[] demands,
IntVar[] actives,
long minLevel,
long maxLevel) |
Adds Reservoir(times, demands, actives, minLevel, maxLevel).
|
IntervalVar |
CpModel.newIntervalVar(long start,
IntVar size,
IntVar end,
java.lang.String name) |
Creates an interval variable with a fixed start.
|
IntervalVar |
CpModel.newIntervalVar(IntVar start,
long size,
IntVar end,
java.lang.String name) |
Creates an interval variable with a fixed size.
|
IntervalVar |
CpModel.newIntervalVar(IntVar start,
IntVar size,
long end,
java.lang.String name) |
Creates an interval variable with a fixed end.
|
IntervalVar |
CpModel.newIntervalVar(IntVar start,
IntVar size,
IntVar end,
java.lang.String name) |
Creates an interval variable from start, size, and end.
|
IntervalVar |
CpModel.newOptionalIntervalVar(long start,
IntVar size,
IntVar end,
Literal isPresent,
java.lang.String name) |
Creates an optional interval with a fixed start.
|
IntervalVar |
CpModel.newOptionalIntervalVar(IntVar start,
long size,
IntVar end,
Literal isPresent,
java.lang.String name) |
Creates an optional interval with a fixed size.
|
IntervalVar |
CpModel.newOptionalIntervalVar(IntVar start,
IntVar size,
long end,
Literal isPresent,
java.lang.String name) |
Creates an optional interval with a fixed end.
|
IntervalVar |
CpModel.newOptionalIntervalVar(IntVar start,
IntVar size,
IntVar end,
Literal isPresent,
java.lang.String name) |
Creates an optional interval variable from start, size, end, and isPresent.
|
static LinearExpr |
LinearExpr.scalProd(IntVar[] variables,
int[] coefficients) |
Creates a scalar product.
|
static LinearExpr |
LinearExpr.scalProd(IntVar[] variables,
long[] coefficients) |
Creates a scalar product.
|
static LinearExpr |
LinearExpr.sum(IntVar[] variables) |
Creates a sum expression.
|
static LinearExpr |
LinearExpr.term(IntVar variable,
long coefficient) |
Creates a linear term (var * coefficient).
|
long |
CpSolver.value(IntVar var) |
Returns the value of a variable in the last solution found.
|
long |
CpSolverSolutionCallback.value(IntVar var) |
Returns the value of the variable in the current solution.
|