Java Reference
Java Reference
CpModel.java
Go to the documentation of this file.
203 return addLinearExpressionInDomain(new Difference(left, right), new Domain(Long.MIN_VALUE, -1));
Exception thrown when parallel arrays have mismatched lengths.
Definition: CpModel.java:50
MismatchedArrayLengths(String methodName, String array1Name, String array2Name)
Definition: CpModel.java:51
Exception thrown when an array has a wrong length.
Definition: CpModel.java:57
WrongLength(String methodName, String msg)
Definition: CpModel.java:58
Constraint addAllowedAssignments(IntVar[] variables, int[][] tuplesList)
Adds AllowedAssignments(variables, tuplesList).
Definition: CpModel.java:387
Constraint addCumulative(IntervalVar[] intervals, long[] demands, long capacity)
Adds Cumulative(intervals, demands, capacity) with fixed demands and fixed capacity.
Definition: CpModel.java:960
IntVar newBoolVar(String name)
Creates a Boolean variable with the given name.
Definition: CpModel.java:86
Constraint addDifferentWithOffset(IntVar left, IntVar right, long offset)
Adds left + offset != right.
Definition: CpModel.java:252
Constraint addGreaterOrEqual(LinearExpr expr, long value)
Adds expr >= value.
Definition: CpModel.java:213
Constraint addForbiddenAssignments(IntVar[] variables, int[][] tuplesList)
Adds ForbiddenAssignments(variables, tuplesList).
Definition: CpModel.java:430
IntervalVar newOptionalIntervalVar(IntVar start, IntVar size, long end, Literal isPresent, String name)
Creates an optional interval with a fixed end.
Definition: CpModel.java:807
Constraint addReservoirConstraintWithActive(IntVar[] times, long[] demands, IntVar[] actives, long minLevel, long maxLevel)
Adds Reservoir(times, demands, actives, minLevel, maxLevel).
Definition: CpModel.java:593
Constraint addGreaterOrEqual(LinearExpr left, LinearExpr right)
Adds left >= right.
Definition: CpModel.java:218
Constraint addAutomaton(IntVar[] transitionVariables, long startingState, long[] finalStates, long[][] transitions)
Adds an automaton constraint.
Definition: CpModel.java:468
Constraint addModuloEquality(IntVar target, IntVar var, long mod)
Adds target == var % mod.
Definition: CpModel.java:702
Boolean exportToFile(String file)
Write the model as a ascii protocol buffer to 'file'.
Definition: CpModel.java:1055
Constraint addLessOrEqual(LinearExpr expr, long value)
Adds expr <= value.
Definition: CpModel.java:187
IntervalVar newOptionalFixedInterval(long start, long size, Literal isPresent, String name)
Creates an optional fixed interval from start and size.
Definition: CpModel.java:836
IntervalVar newIntervalVar(long start, IntVar size, IntVar end, String name)
Creates an interval variable with a fixed start.
Definition: CpModel.java:768
Constraint addElement(IntVar index, long[] values, IntVar target)
Adds the element constraint: values[index] == target.
Definition: CpModel.java:290
Constraint addLessOrEqualWithOffset(LinearExpr left, LinearExpr right, long offset)
Adds left + offset <= right.
Definition: CpModel.java:207
void addAssumptions(Literal[] literals)
Adds multiple literals to the model as assumptions.
Definition: CpModel.java:999
Constraint addEquality(LinearExpr left, LinearExpr right)
Adds left == right.
Definition: CpModel.java:177
IntervalVar newOptionalIntervalVar(long start, IntVar size, IntVar end, Literal isPresent, String name)
Creates an optional interval with a fixed start.
Definition: CpModel.java:825
IntervalVar newIntervalVar(IntVar start, long size, IntVar end, String name)
Creates an interval variable with a fixed size.
Definition: CpModel.java:758
void minimize(LinearExpr expr)
Adds a minimization objective of a linear expression.
Definition: CpModel.java:1013
Constraint addDivisionEquality(IntVar target, IntVar num, IntVar denom)
Adds target == num / denom, rounded towards 0.
Definition: CpModel.java:669
Constraint addReservoirConstraint(IntVar[] times, int[] demands, long minLevel, long maxLevel)
Adds Reservoir(times, demands, minLevel, maxLevel).
Definition: CpModel.java:565
Constraint addGreaterThan(LinearExpr expr, long value)
Adds expr > value.
Definition: CpModel.java:223
void addAssumption(Literal lit)
Adds a literal to the model as assumption.
Definition: CpModel.java:994
Constraint addProductEquality(IntVar target, IntVar[] vars)
Adds target == Product(vars).
Definition: CpModel.java:713
Constraint addReservoirConstraint(IntVar[] times, long[] demands, long minLevel, long maxLevel)
Adds Reservoir(times, demands, minLevel, maxLevel).
Definition: CpModel.java:537
Constraint addModuloEquality(IntVar target, IntVar var, IntVar mod)
Adds target == var % mod.
Definition: CpModel.java:691
IntervalVar newFixedInterval(long start, long size, String name)
Creates a fixed interval from its start and its size.
Definition: CpModel.java:774
Constraint addGreaterThan(LinearExpr left, LinearExpr right)
Adds left > right.
Definition: CpModel.java:228
IntervalVar newOptionalIntervalVar(IntVar start, IntVar size, IntVar end, Literal isPresent, String name)
Creates an optional interval variable from start, size, end, and isPresent.
Definition: CpModel.java:796
Constraint addCircuit(int[] tails, int[] heads, Literal[] literals)
Adds Circuit(tails, heads, literals).
Definition: CpModel.java:328
Constraint addEqualityWithOffset(LinearExpr left, LinearExpr right, long offset)
Adds left + offset == right.
Definition: CpModel.java:182
Constraint addElement(IntVar index, IntVar[] variables, IntVar target)
Adds the element constraint: variables[index] == target.
Definition: CpModel.java:278
Constraint addAbsEquality(IntVar target, IntVar var)
Adds target == Abs(var).
Definition: CpModel.java:680
IntervalVar newIntervalVar(IntVar start, IntVar size, IntVar end, String name)
Creates an interval variable from start, size, and end.
Definition: CpModel.java:739
Constraint addAllowedAssignments(IntVar[] variables, long[][] tuplesList)
Adds AllowedAssignments(variables, tuplesList).
Definition: CpModel.java:363
IntervalVar newIntervalVar(IntVar start, IntVar size, long end, String name)
Creates an interval variable with a fixed end.
Definition: CpModel.java:748
Constraint addCumulative(IntervalVar[] intervals, int[] demands, IntVar capacity)
Adds Cumulative(intervals, demands, capacity) with fixed demands.
Definition: CpModel.java:933
Constraint addReservoirConstraintWithActive(IntVar[] times, int[] demands, IntVar[] actives, long minLevel, long maxLevel)
Adds Reservoir(times, demands, actives, minLevel, maxLevel).
Definition: CpModel.java:632
void maximize(LinearExpr expr)
Adds a maximization objective of a linear expression.
Definition: CpModel.java:1022
Constraint addAllDifferent(IntVar[] variables)
Adds AllDifferent(variables).
Definition: CpModel.java:268
Constraint addCumulative(IntervalVar[] intervals, IntVar[] demands, IntVar capacity)
Adds Cumulative(intervals, demands, capacity).
Definition: CpModel.java:897
Constraint addLessThan(LinearExpr left, LinearExpr right)
Adds left < right.
Definition: CpModel.java:202
Constraint addMinEquality(IntVar target, IntVar[] vars)
Adds target == Min(vars).
Definition: CpModel.java:647
Constraint addCumulative(IntervalVar[] intervals, IntVar[] demands, long capacity)
Adds Cumulative(intervals, demands, capacity) with fixed capacity.
Definition: CpModel.java:942
IntVar newIntVar(long lb, long ub, String name)
Creates an integer variable with domain [lb, ub].
Definition: CpModel.java:70
void addMapDomain(IntVar var, Literal[] booleans, long offset)
Adds var == i + offset <=> booleans[i] == true for all i in [0, booleans.length).
Definition: CpModel.java:639
void addDecisionStrategy(IntVar[] variables, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr)
Adds DecisionStrategy(variables, varStr, domStr).
Definition: CpModel.java:1034
Constraint addInverse(IntVar[] variables, IntVar[] inverseVariables)
Adds Inverse(variables, inverseVariables).
Definition: CpModel.java:499
Constraint addNoOverlap2D(IntervalVar[] xIntervals, IntervalVar[] yIntervals)
Adds NoOverlap2D(xIntervals, yIntervals).
Definition: CpModel.java:870
Constraint addLinearConstraint(LinearExpr expr, long lb, long ub)
Adds lb <= expr <= ub.
Definition: CpModel.java:167
Constraint addNoOverlap(IntervalVar[] intervalVars)
Adds NoOverlap(intervalVars).
Definition: CpModel.java:850
Constraint addForbiddenAssignments(IntVar[] variables, long[][] tuplesList)
Adds ForbiddenAssignments(variables, tuplesList).
Definition: CpModel.java:418
Constraint addElement(IntVar index, int[] values, IntVar target)
Adds the element constraint: values[index] == target.
Definition: CpModel.java:302
String validate()
Returns a non empty string explaining the issue if the model is invalid.
Definition: CpModel.java:1050
Constraint addGreaterOrEqualWithOffset(LinearExpr left, LinearExpr right, long offset)
Adds left + offset >= right.
Definition: CpModel.java:233
Constraint addMaxEquality(IntVar target, IntVar[] vars)
Adds target == Max(vars).
Definition: CpModel.java:658
Constraint addCumulative(IntervalVar[] intervals, int[] demands, long capacity)
Adds Cumulative(intervals, demands, capacity) with fixed demands and fixed capacity.
Definition: CpModel.java:978
IntVar newIntVarFromDomain(Domain domain, String name)
Creates an integer variable with given domain.
Definition: CpModel.java:81
Constraint addLinearExpressionInDomain(LinearExpr expr, Domain domain)
Adds expr in domain.
Definition: CpModel.java:150
IntervalVar newOptionalIntervalVar(IntVar start, long size, IntVar end, Literal isPresent, String name)
Creates an optional interval with a fixed size.
Definition: CpModel.java:818
Constraint addCumulative(IntervalVar[] intervals, long[] demands, IntVar capacity)
Adds Cumulative(intervals, demands, capacity) with fixed demands.
Definition: CpModel.java:915
Constraint addLessOrEqual(LinearExpr left, LinearExpr right)
Adds left <= right.
Definition: CpModel.java:192
int getIndex()
Internal, returns the index of the variable in the underlying CpModelProto.
Definition: IntVar.java:45
A linear expression interface that can be parsed.
Definition: LinearExpr.java:17
long getCoefficient(int index)
Returns the ith coefficient.
int numElements()
Returns the number of elements in the interface.
long getOffset()
Returns the constant part of the expression.
Interface to describe a boolean variable or its negation.
Definition: Literal.java:17
int getIndex()