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