Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.CpModel Member List

This is the complete list of members for com.google.ortools.sat.CpModel, including all inherited members.

addAbsEquality(LinearArgument target, LinearArgument expr)com.google.ortools.sat.CpModel
addAbsEquality(LinearArgument target, LinearArgument expr)com.google.ortools.sat.CpModel
addAllDifferent(LinearArgument[] expressions)com.google.ortools.sat.CpModel
addAllDifferent(Iterable<? extends LinearArgument > expressions)com.google.ortools.sat.CpModel
addAllDifferent(LinearArgument[] expressions)com.google.ortools.sat.CpModel
addAllDifferent(Iterable<? extends LinearArgument > expressions)com.google.ortools.sat.CpModel
addAllowedAssignments(IntVar[] variables)com.google.ortools.sat.CpModel
addAllowedAssignments(Iterable< IntVar > variables)com.google.ortools.sat.CpModel
addAllowedAssignments(IntVar[] variables)com.google.ortools.sat.CpModel
addAllowedAssignments(Iterable< IntVar > variables)com.google.ortools.sat.CpModel
addAssumption(Literal lit)com.google.ortools.sat.CpModel
addAssumption(Literal lit)com.google.ortools.sat.CpModel
addAssumptions(Literal[] literals)com.google.ortools.sat.CpModel
addAssumptions(Literal[] literals)com.google.ortools.sat.CpModel
addAtLeastOne(Literal[] literals)com.google.ortools.sat.CpModel
addAtLeastOne(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addAtLeastOne(Literal[] literals)com.google.ortools.sat.CpModel
addAtLeastOne(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addAtMostOne(Literal[] literals)com.google.ortools.sat.CpModel
addAtMostOne(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addAtMostOne(Literal[] literals)com.google.ortools.sat.CpModel
addAtMostOne(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addAutomaton(IntVar[] transitionVariables, long startingState, long[] finalStates)com.google.ortools.sat.CpModel
addAutomaton(IntVar[] transitionVariables, long startingState, long[] finalStates)com.google.ortools.sat.CpModel
addBoolAnd(Literal[] literals)com.google.ortools.sat.CpModel
addBoolAnd(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addBoolAnd(Literal[] literals)com.google.ortools.sat.CpModel
addBoolAnd(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addBoolOr(Literal[] literals)com.google.ortools.sat.CpModel
addBoolOr(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addBoolOr(Literal[] literals)com.google.ortools.sat.CpModel
addBoolOr(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addBoolXor(Literal[] literals)com.google.ortools.sat.CpModel
addBoolXor(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addBoolXor(Literal[] literals)com.google.ortools.sat.CpModel
addBoolXor(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addCircuit()com.google.ortools.sat.CpModel
addCircuit()com.google.ortools.sat.CpModel
addCumulative(LinearArgument capacity)com.google.ortools.sat.CpModel
addCumulative(long capacity)com.google.ortools.sat.CpModel
addCumulative(LinearArgument capacity)com.google.ortools.sat.CpModel
addCumulative(long capacity)com.google.ortools.sat.CpModel
addDecisionStrategy(LinearArgument[] expressions, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr)com.google.ortools.sat.CpModel
addDecisionStrategy(Iterable<? extends LinearArgument > expressions, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr)com.google.ortools.sat.CpModel
addDecisionStrategy(LinearArgument[] expressions, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr)com.google.ortools.sat.CpModel
addDecisionStrategy(Iterable<? extends LinearArgument > expressions, DecisionStrategyProto.VariableSelectionStrategy varStr, DecisionStrategyProto.DomainReductionStrategy domStr)com.google.ortools.sat.CpModel
addDifferent(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addDifferent(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addDifferent(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addDifferent(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addDivisionEquality(LinearArgument target, LinearArgument num, LinearArgument denom)com.google.ortools.sat.CpModel
addDivisionEquality(LinearArgument target, LinearArgument num, LinearArgument denom)com.google.ortools.sat.CpModel
addElement(IntVar index, IntVar[] variables, IntVar target)com.google.ortools.sat.CpModel
addElement(IntVar index, long[] values, IntVar target)com.google.ortools.sat.CpModel
addElement(IntVar index, int[] values, IntVar target)com.google.ortools.sat.CpModel
addElement(IntVar index, IntVar[] variables, IntVar target)com.google.ortools.sat.CpModel
addElement(IntVar index, long[] values, IntVar target)com.google.ortools.sat.CpModel
addElement(IntVar index, int[] values, IntVar target)com.google.ortools.sat.CpModel
addEquality(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addEquality(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addEquality(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addEquality(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addExactlyOne(Literal[] literals)com.google.ortools.sat.CpModel
addExactlyOne(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addExactlyOne(Literal[] literals)com.google.ortools.sat.CpModel
addExactlyOne(Iterable< Literal > literals)com.google.ortools.sat.CpModel
addForbiddenAssignments(IntVar[] variables)com.google.ortools.sat.CpModel
addForbiddenAssignments(Iterable< IntVar > variables)com.google.ortools.sat.CpModel
addForbiddenAssignments(IntVar[] variables)com.google.ortools.sat.CpModel
addForbiddenAssignments(Iterable< IntVar > variables)com.google.ortools.sat.CpModel
addGreaterOrEqual(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addGreaterOrEqual(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addGreaterOrEqual(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addGreaterOrEqual(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addGreaterThan(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addGreaterThan(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addGreaterThan(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addGreaterThan(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addHint(IntVar var, long value)com.google.ortools.sat.CpModel
addHint(IntVar var, long value)com.google.ortools.sat.CpModel
addImplication(Literal a, Literal b)com.google.ortools.sat.CpModel
addImplication(Literal a, Literal b)com.google.ortools.sat.CpModel
addInverse(IntVar[] variables, IntVar[] inverseVariables)com.google.ortools.sat.CpModel
addInverse(IntVar[] variables, IntVar[] inverseVariables)com.google.ortools.sat.CpModel
addLessOrEqual(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addLessOrEqual(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addLessOrEqual(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addLessOrEqual(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addLessThan(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addLessThan(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addLessThan(LinearArgument expr, long value)com.google.ortools.sat.CpModel
addLessThan(LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addLinearConstraint(LinearArgument expr, long lb, long ub)com.google.ortools.sat.CpModel
addLinearConstraint(LinearArgument expr, long lb, long ub)com.google.ortools.sat.CpModel
addLinearExpressionInDomain(LinearArgument expr, Domain domain)com.google.ortools.sat.CpModel
addLinearExpressionInDomain(LinearArgument expr, Domain domain)com.google.ortools.sat.CpModel
addMapDomain(IntVar var, Literal[] booleans, long offset)com.google.ortools.sat.CpModel
addMapDomain(IntVar var, Literal[] booleans, long offset)com.google.ortools.sat.CpModel
addMaxEquality(LinearArgument target, LinearArgument[] exprs)com.google.ortools.sat.CpModel
addMaxEquality(LinearArgument target, Iterable<? extends LinearArgument > exprs)com.google.ortools.sat.CpModel
addMaxEquality(LinearArgument target, LinearArgument[] exprs)com.google.ortools.sat.CpModel
addMaxEquality(LinearArgument target, Iterable<? extends LinearArgument > exprs)com.google.ortools.sat.CpModel
addMinEquality(LinearArgument target, LinearArgument[] exprs)com.google.ortools.sat.CpModel
addMinEquality(LinearArgument target, Iterable<? extends LinearArgument > exprs)com.google.ortools.sat.CpModel
addMinEquality(LinearArgument target, LinearArgument[] exprs)com.google.ortools.sat.CpModel
addMinEquality(LinearArgument target, Iterable<? extends LinearArgument > exprs)com.google.ortools.sat.CpModel
addModuloEquality(LinearArgument target, LinearArgument var, LinearArgument mod)com.google.ortools.sat.CpModel
addModuloEquality(LinearArgument target, LinearArgument var, long mod)com.google.ortools.sat.CpModel
addModuloEquality(LinearArgument target, LinearArgument var, LinearArgument mod)com.google.ortools.sat.CpModel
addModuloEquality(LinearArgument target, LinearArgument var, long mod)com.google.ortools.sat.CpModel
addMultipleCircuit()com.google.ortools.sat.CpModel
addMultipleCircuit()com.google.ortools.sat.CpModel
addMultiplicationEquality(LinearArgument target, LinearArgument[] exprs)com.google.ortools.sat.CpModel
addMultiplicationEquality(LinearArgument target, LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addMultiplicationEquality(LinearArgument target, LinearArgument[] exprs)com.google.ortools.sat.CpModel
addMultiplicationEquality(LinearArgument target, LinearArgument left, LinearArgument right)com.google.ortools.sat.CpModel
addNoOverlap(IntervalVar[] intervalVars)com.google.ortools.sat.CpModel
addNoOverlap(Iterable< IntervalVar > intervalVars)com.google.ortools.sat.CpModel
addNoOverlap(IntervalVar[] intervalVars)com.google.ortools.sat.CpModel
addNoOverlap(Iterable< IntervalVar > intervalVars)com.google.ortools.sat.CpModel
addNoOverlap2D()com.google.ortools.sat.CpModel
addNoOverlap2D()com.google.ortools.sat.CpModel
addReservoirConstraint(long minLevel, long maxLevel)com.google.ortools.sat.CpModel
addReservoirConstraint(long minLevel, long maxLevel)com.google.ortools.sat.CpModel
clearAssumptions()com.google.ortools.sat.CpModel
clearAssumptions()com.google.ortools.sat.CpModel
clearHints()com.google.ortools.sat.CpModel
clearHints()com.google.ortools.sat.CpModel
clearObjective()com.google.ortools.sat.CpModel
clearObjective()com.google.ortools.sat.CpModel
CpModel()com.google.ortools.sat.CpModel
CpModel()com.google.ortools.sat.CpModel
exportToFile(String file)com.google.ortools.sat.CpModel
exportToFile(String file)com.google.ortools.sat.CpModel
falseLiteral()com.google.ortools.sat.CpModel
falseLiteral()com.google.ortools.sat.CpModel
getBoolVarFromProtoIndex(int index)com.google.ortools.sat.CpModel
getBoolVarFromProtoIndex(int index)com.google.ortools.sat.CpModel
getBuilder()com.google.ortools.sat.CpModel
getBuilder()com.google.ortools.sat.CpModel
getClone()com.google.ortools.sat.CpModel
getClone()com.google.ortools.sat.CpModel
getIntVarFromProtoIndex(int index)com.google.ortools.sat.CpModel
getIntVarFromProtoIndex(int index)com.google.ortools.sat.CpModel
hasObjective()com.google.ortools.sat.CpModel
hasObjective()com.google.ortools.sat.CpModel
maximize(LinearArgument expr)com.google.ortools.sat.CpModel
maximize(DoubleLinearExpr expr)com.google.ortools.sat.CpModel
maximize(LinearArgument expr)com.google.ortools.sat.CpModel
maximize(DoubleLinearExpr expr)com.google.ortools.sat.CpModel
minimize(LinearArgument expr)com.google.ortools.sat.CpModel
minimize(DoubleLinearExpr expr)com.google.ortools.sat.CpModel
minimize(LinearArgument expr)com.google.ortools.sat.CpModel
minimize(DoubleLinearExpr expr)com.google.ortools.sat.CpModel
model()com.google.ortools.sat.CpModel
model()com.google.ortools.sat.CpModel
modelStats()com.google.ortools.sat.CpModel
modelStats()com.google.ortools.sat.CpModel
negated(int index)com.google.ortools.sat.CpModel
negated(int index)com.google.ortools.sat.CpModel
newBoolVar(String name)com.google.ortools.sat.CpModel
newBoolVar(String name)com.google.ortools.sat.CpModel
newConstant(long value)com.google.ortools.sat.CpModel
newConstant(long value)com.google.ortools.sat.CpModel
newFixedInterval(long start, long size, String name)com.google.ortools.sat.CpModel
newFixedInterval(long start, long size, String name)com.google.ortools.sat.CpModel
newFixedSizeIntervalVar(LinearArgument start, long size, String name)com.google.ortools.sat.CpModel
newFixedSizeIntervalVar(LinearArgument start, long size, String name)com.google.ortools.sat.CpModel
newIntervalVar(LinearArgument start, LinearArgument size, LinearArgument end, String name)com.google.ortools.sat.CpModel
newIntervalVar(LinearArgument start, LinearArgument size, LinearArgument end, String name)com.google.ortools.sat.CpModel
newIntVar(long lb, long ub, String name)com.google.ortools.sat.CpModel
newIntVar(long lb, long ub, String name)com.google.ortools.sat.CpModel
newIntVarFromDomain(Domain domain, String name)com.google.ortools.sat.CpModel
newIntVarFromDomain(Domain domain, String name)com.google.ortools.sat.CpModel
newOptionalFixedInterval(long start, long size, Literal isPresent, String name)com.google.ortools.sat.CpModel
newOptionalFixedInterval(long start, long size, Literal isPresent, String name)com.google.ortools.sat.CpModel
newOptionalFixedSizeIntervalVar(LinearArgument start, long size, Literal isPresent, String name)com.google.ortools.sat.CpModel
newOptionalFixedSizeIntervalVar(LinearArgument start, long size, Literal isPresent, String name)com.google.ortools.sat.CpModel
newOptionalIntervalVar(LinearArgument start, LinearArgument size, LinearArgument end, Literal isPresent, String name)com.google.ortools.sat.CpModel
newOptionalIntervalVar(LinearArgument start, LinearArgument size, LinearArgument end, Literal isPresent, String name)com.google.ortools.sat.CpModel
trueLiteral()com.google.ortools.sat.CpModel
trueLiteral()com.google.ortools.sat.CpModel
validate()com.google.ortools.sat.CpModel
validate()com.google.ortools.sat.CpModel