Java Reference
Java Reference
CpModel Member List
This is the complete list of members for CpModel, including all inherited members.
addAbsEquality(IntVar target, IntVar var) | CpModel | |
addAllDifferent(IntVar[] variables) | CpModel | |
addAllowedAssignments(IntVar[] variables, long[][] tuplesList) | CpModel | |
addAllowedAssignments(IntVar[] variables, int[][] tuplesList) | CpModel | |
addAssumption(Literal lit) | CpModel | |
addAssumptions(Literal[] literals) | CpModel | |
addAutomaton(IntVar[] transitionVariables, long startingState, long[] finalStates, long[][] transitions) | CpModel | |
addBoolAnd(Literal[] literals) | CpModel | |
addBoolOr(Literal[] literals) | CpModel | |
addBoolXor(Literal[] literals) | CpModel | |
addCircuit(int[] tails, int[] heads, Literal[] literals) | CpModel | |
addCumulative(IntervalVar[] intervals, IntVar[] demands, IntVar capacity) | CpModel | |
addCumulative(IntervalVar[] intervals, long[] demands, IntVar capacity) | CpModel | |
addCumulative(IntervalVar[] intervals, int[] demands, IntVar capacity) | CpModel | |
addCumulative(IntervalVar[] intervals, IntVar[] demands, long capacity) | CpModel | |
addCumulative(IntervalVar[] intervals, long[] demands, long capacity) | CpModel | |
addCumulative(IntervalVar[] intervals, int[] demands, long capacity) | CpModel | |
addDecisionStrategy(IntVar[] variables, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr) | CpModel | |
addDifferent(LinearExpr expr, long value) | CpModel | |
addDifferent(IntVar left, IntVar right) | CpModel | |
addDifferentWithOffset(IntVar left, IntVar right, long offset) | CpModel | |
addDivisionEquality(IntVar target, IntVar num, IntVar denom) | CpModel | |
addElement(IntVar index, IntVar[] variables, IntVar target) | CpModel | |
addElement(IntVar index, long[] values, IntVar target) | CpModel | |
addElement(IntVar index, int[] values, IntVar target) | CpModel | |
addEquality(LinearExpr expr, long value) | CpModel | |
addEquality(LinearExpr left, LinearExpr right) | CpModel | |
addEqualityWithOffset(LinearExpr left, LinearExpr right, long offset) | CpModel | |
addForbiddenAssignments(IntVar[] variables, long[][] tuplesList) | CpModel | |
addForbiddenAssignments(IntVar[] variables, int[][] tuplesList) | CpModel | |
addGreaterOrEqual(LinearExpr expr, long value) | CpModel | |
addGreaterOrEqual(LinearExpr left, LinearExpr right) | CpModel | |
addGreaterOrEqualWithOffset(LinearExpr left, LinearExpr right, long offset) | CpModel | |
addGreaterThan(LinearExpr expr, long value) | CpModel | |
addGreaterThan(LinearExpr left, LinearExpr right) | CpModel | |
addHint(IntVar var, long value) | CpModel | |
addImplication(Literal a, Literal b) | CpModel | |
addInverse(IntVar[] variables, IntVar[] inverseVariables) | CpModel | |
addLessOrEqual(LinearExpr expr, long value) | CpModel | |
addLessOrEqual(LinearExpr left, LinearExpr right) | CpModel | |
addLessOrEqualWithOffset(LinearExpr left, LinearExpr right, long offset) | CpModel | |
addLessThan(LinearExpr expr, long value) | CpModel | |
addLessThan(LinearExpr left, LinearExpr right) | CpModel | |
addLinearConstraint(LinearExpr expr, long lb, long ub) | CpModel | |
addLinearExpressionInDomain(LinearExpr expr, Domain domain) | CpModel | |
addMapDomain(IntVar var, Literal[] booleans, long offset) | CpModel | |
addMaxEquality(IntVar target, IntVar[] vars) | CpModel | |
addMinEquality(IntVar target, IntVar[] vars) | CpModel | |
addModuloEquality(IntVar target, IntVar var, IntVar mod) | CpModel | |
addModuloEquality(IntVar target, IntVar var, long mod) | CpModel | |
addNoOverlap(IntervalVar[] intervalVars) | CpModel | |
addNoOverlap2D(IntervalVar[] xIntervals, IntervalVar[] yIntervals) | CpModel | |
addProductEquality(IntVar target, IntVar[] vars) | CpModel | |
addReservoirConstraint(IntVar[] times, long[] demands, long minLevel, long maxLevel) | CpModel | |
addReservoirConstraint(IntVar[] times, int[] demands, long minLevel, long maxLevel) | CpModel | |
addReservoirConstraintWithActive(IntVar[] times, long[] demands, IntVar[] actives, long minLevel, long maxLevel) | CpModel | |
addReservoirConstraintWithActive(IntVar[] times, int[] demands, IntVar[] actives, long minLevel, long maxLevel) | CpModel | |
clearAssumptions() | CpModel | |
clearHints() | CpModel | |
CpModel() | CpModel | |
exportToFile(String file) | CpModel | |
falseLiteral() | CpModel | |
getBuilder() | CpModel | |
maximize(LinearExpr expr) | CpModel | |
minimize(LinearExpr expr) | CpModel | |
model() | CpModel | |
modelStats() | CpModel | |
negated(int index) | CpModel | |
newBoolVar(String name) | CpModel | |
newConstant(long value) | CpModel | |
newFixedInterval(long start, long size, String name) | CpModel | |
newIntervalVar(IntVar start, IntVar size, IntVar end, String name) | CpModel | |
newIntervalVar(IntVar start, IntVar size, long end, String name) | CpModel | |
newIntervalVar(IntVar start, long size, IntVar end, String name) | CpModel | |
newIntervalVar(long start, IntVar size, IntVar end, String name) | CpModel | |
newIntVar(long lb, long ub, String name) | CpModel | |
newIntVarFromDomain(Domain domain, String name) | CpModel | |
newOptionalFixedInterval(long start, long size, Literal isPresent, String name) | CpModel | |
newOptionalIntervalVar(IntVar start, IntVar size, IntVar end, Literal isPresent, String name) | CpModel | |
newOptionalIntervalVar(IntVar start, IntVar size, long end, Literal isPresent, String name) | CpModel | |
newOptionalIntervalVar(IntVar start, long size, IntVar end, Literal isPresent, String name) | CpModel | |
newOptionalIntervalVar(long start, IntVar size, IntVar end, Literal isPresent, String name) | CpModel | |
trueLiteral() | CpModel | |
validate() | CpModel |