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.addBoolAnd(Literal[] literals) |
Adds And(literals) == true.
|
Constraint |
CpModel.addBoolOr(Literal[] literals) |
Adds Or(literals) == true.
|
Constraint |
CpModel.addBoolXor(Literal[] literals) |
Adds XOr(literals) == true.
|
Constraint |
CpModel.addCircuit(int[] tails,
int[] heads,
Literal[] literals) |
Adds Circuit(tails, heads, literals).
|
Constraint |
CpModel.addCumulative(IntervalVar[] intervals,
int[] demands,
long capacity) |
Adds Cumulative(intervals, demands, capacity) with fixed demands and fixed capacity.
|
Constraint |
CpModel.addCumulative(IntervalVar[] intervals,
int[] demands,
IntVar capacity) |
Adds Cumulative(intervals, demands, capacity) with fixed demands.
|
Constraint |
CpModel.addCumulative(IntervalVar[] intervals,
long[] demands,
long capacity) |
Adds Cumulative(intervals, demands, capacity) with fixed demands and fixed capacity.
|
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).
|
Constraint |
CpModel.addDifferent(IntVar left,
IntVar right) |
Adds left != right.
|
Constraint |
CpModel.addDifferent(LinearExpr expr,
long value) |
Adds expr != value.
|
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.addEquality(LinearExpr expr,
long value) |
Adds expr == value.
|
Constraint |
CpModel.addEquality(LinearExpr left,
LinearExpr right) |
Adds left == right.
|
Constraint |
CpModel.addEqualityWithOffset(LinearExpr left,
LinearExpr right,
long offset) |
Adds left + offset == right.
|
Constraint |
CpModel.addForbiddenAssignments(IntVar[] variables,
int[][] tuplesList) |
Adds ForbiddenAssignments(variables, tuplesList).
|
Constraint |
CpModel.addForbiddenAssignments(IntVar[] variables,
long[][] tuplesList) |
Adds ForbiddenAssignments(variables, tuplesList).
|
Constraint |
CpModel.addGreaterOrEqual(LinearExpr expr,
long value) |
Adds expr >= value.
|
Constraint |
CpModel.addGreaterOrEqual(LinearExpr left,
LinearExpr right) |
Adds left >= right.
|
Constraint |
CpModel.addGreaterOrEqualWithOffset(LinearExpr left,
LinearExpr right,
long offset) |
Adds left + offset >= right.
|
Constraint |
CpModel.addGreaterThan(LinearExpr expr,
long value) |
Adds expr > value.
|
Constraint |
CpModel.addGreaterThan(LinearExpr left,
LinearExpr right) |
Adds left > right.
|
Constraint |
CpModel.addImplication(Literal a,
Literal b) |
Adds a => b.
|
Constraint |
CpModel.addInverse(IntVar[] variables,
IntVar[] inverseVariables) |
Adds Inverse(variables, inverseVariables).
|
Constraint |
CpModel.addLessOrEqual(LinearExpr expr,
long value) |
Adds expr <= value.
|
Constraint |
CpModel.addLessOrEqual(LinearExpr left,
LinearExpr right) |
Adds left <= right.
|
Constraint |
CpModel.addLessOrEqualWithOffset(LinearExpr left,
LinearExpr right,
long offset) |
Adds left + offset <= right.
|
Constraint |
CpModel.addLessThan(LinearExpr expr,
long value) |
Adds expr < value.
|
Constraint |
CpModel.addLessThan(LinearExpr left,
LinearExpr right) |
Adds left < right.
|
Constraint |
CpModel.addLinearConstraint(LinearExpr expr,
long lb,
long ub) |
Adds lb <= expr <= ub.
|
Constraint |
CpModel.addLinearExpressionInDomain(LinearExpr expr,
Domain domain) |
Adds expr in domain.
|
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.addNoOverlap(IntervalVar[] intervalVars) |
Adds NoOverlap(intervalVars).
|
Constraint |
CpModel.addNoOverlap2D(IntervalVar[] xIntervals,
IntervalVar[] yIntervals) |
Adds NoOverlap2D(xIntervals, yIntervals).
|
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).
|