Java Reference
Java Reference
CpModel Member List
This is the complete list of members for CpModel, including all inherited members.
| addAbsEquality(LinearArgument target, LinearArgument expr) | CpModel | |
| addAllDifferent(LinearArgument[] expressions) | CpModel | |
| addAllDifferent(Iterable<? extends LinearArgument > expressions) | CpModel | |
| addAllowedAssignments(IntVar[] variables) | CpModel | |
| addAllowedAssignments(Iterable< IntVar > variables) | CpModel | |
| addAssumption(Literal lit) | CpModel | |
| addAssumptions(Literal[] literals) | CpModel | |
| addAtLeastOne(Literal[] literals) | CpModel | |
| addAtLeastOne(Iterable< Literal > literals) | CpModel | |
| addAtMostOne(Literal[] literals) | CpModel | |
| addAtMostOne(Iterable< Literal > literals) | CpModel | |
| addAutomaton(IntVar[] transitionVariables, long startingState, long[] finalStates) | CpModel | |
| addBoolAnd(Literal[] literals) | CpModel | |
| addBoolAnd(Iterable< Literal > literals) | CpModel | |
| addBoolOr(Literal[] literals) | CpModel | |
| addBoolOr(Iterable< Literal > literals) | CpModel | |
| addBoolXor(Literal[] literals) | CpModel | |
| addBoolXor(Iterable< Literal > literals) | CpModel | |
| addCircuit() | CpModel | |
| addCumulative(LinearArgument capacity) | CpModel | |
| addCumulative(long capacity) | CpModel | |
| addDecisionStrategy(IntVar[] variables, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr) | CpModel | |
| addDifferent(LinearArgument expr, long value) | CpModel | |
| addDifferent(LinearArgument left, LinearArgument right) | CpModel | |
| addDivisionEquality(LinearArgument target, LinearArgument num, LinearArgument 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(LinearArgument expr, long value) | CpModel | |
| addEquality(LinearArgument left, LinearArgument right) | CpModel | |
| addExactlyOne(Literal[] literals) | CpModel | |
| addExactlyOne(Iterable< Literal > literals) | CpModel | |
| addForbiddenAssignments(IntVar[] variables) | CpModel | |
| addForbiddenAssignments(Iterable< IntVar > variables) | CpModel | |
| addGreaterOrEqual(LinearArgument expr, long value) | CpModel | |
| addGreaterOrEqual(LinearArgument left, LinearArgument right) | CpModel | |
| addGreaterThan(LinearArgument expr, long value) | CpModel | |
| addGreaterThan(LinearArgument left, LinearArgument right) | CpModel | |
| addHint(IntVar var, long value) | CpModel | |
| addImplication(Literal a, Literal b) | CpModel | |
| addInverse(IntVar[] variables, IntVar[] inverseVariables) | CpModel | |
| addLessOrEqual(LinearArgument expr, long value) | CpModel | |
| addLessOrEqual(LinearArgument left, LinearArgument right) | CpModel | |
| addLessThan(LinearArgument expr, long value) | CpModel | |
| addLessThan(LinearArgument left, LinearArgument right) | CpModel | |
| addLinearConstraint(LinearArgument expr, long lb, long ub) | CpModel | |
| addLinearExpressionInDomain(LinearArgument expr, Domain domain) | CpModel | |
| addMapDomain(IntVar var, Literal[] booleans, long offset) | CpModel | |
| addMaxEquality(LinearArgument target, LinearArgument[] exprs) | CpModel | |
| addMaxEquality(LinearArgument target, Iterable<? extends LinearArgument > exprs) | CpModel | |
| addMinEquality(LinearArgument target, LinearArgument[] exprs) | CpModel | |
| addMinEquality(LinearArgument target, Iterable<? extends LinearArgument > exprs) | CpModel | |
| addModuloEquality(LinearArgument target, LinearArgument var, LinearArgument mod) | CpModel | |
| addModuloEquality(LinearArgument target, LinearArgument var, long mod) | CpModel | |
| addMultipleCircuit() | CpModel | |
| addMultiplicationEquality(LinearArgument target, LinearArgument[] exprs) | CpModel | |
| addMultiplicationEquality(LinearArgument target, LinearArgument left, LinearArgument right) | CpModel | |
| addNoOverlap(IntervalVar[] intervalVars) | CpModel | |
| addNoOverlap(Iterable< IntervalVar > intervalVars) | CpModel | |
| addNoOverlap2D() | CpModel | |
| addReservoirConstraint(long minLevel, long maxLevel) | CpModel | |
| clearAssumptions() | CpModel | |
| clearHints() | CpModel | |
| clearObjective() | CpModel | |
| CpModel() | CpModel | |
| exportToFile(String file) | CpModel | |
| falseLiteral() | CpModel | |
| getBuilder() | CpModel | |
| hasObjective() | CpModel | |
| maximize(LinearArgument expr) | CpModel | |
| maximize(DoubleLinearExpr expr) | CpModel | |
| minimize(LinearArgument expr) | CpModel | |
| minimize(DoubleLinearExpr 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 | |
| newFixedSizeIntervalVar(LinearArgument start, long size, String name) | CpModel | |
| newIntervalVar(LinearArgument start, LinearArgument size, LinearArgument 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 | |
| newOptionalFixedSizeIntervalVar(LinearArgument start, long size, Literal isPresent, String name) | CpModel | |
| newOptionalIntervalVar(LinearArgument start, LinearArgument size, LinearArgument end, Literal isPresent, String name) | CpModel | |
| trueLiteral() | CpModel | |
| validate() | CpModel |