Package | Description |
---|---|
com.google.ortools.constraintsolver |
Modifier and Type | Class and Description |
---|---|
class |
BaseIntExpr |
class |
BooleanVar |
class |
IntVar
The class IntVar is a subset of IntExpr.
|
Modifier and Type | Method and Description |
---|---|
IntExpr |
Solver.castExpression(IntVar var)
Internal.
|
IntExpr |
IntervalVar.durationExpr() |
IntExpr |
IntervalVar.endExpr() |
IntExpr |
ModelCache.findExprConstantExpression(IntExpr expr,
long value,
int type)
Expr Constant Expressions.
|
IntExpr |
ModelCache.findExprExprConstantExpression(IntExpr var1,
IntExpr var2,
long constant,
int type)
Expr Expr Constant Expressions.
|
IntExpr |
ModelCache.findExprExpression(IntExpr expr,
int type)
Expr Expressions.
|
IntExpr |
ModelCache.findExprExprExpression(IntExpr var1,
IntExpr var2,
int type)
Expr Expr Expressions.
|
IntExpr |
ModelCache.findVarArrayConstantArrayExpression(IntVar[] vars,
long[] values,
int type)
Var Array Constant Array Expressions.
|
IntExpr |
ModelCache.findVarArrayConstantExpression(IntVar[] vars,
long value,
int type)
Var Array Constant Expressions.
|
IntExpr |
ModelCache.findVarArrayExpression(IntVar[] vars,
int type)
Var Array Expressions.
|
IntExpr |
ModelCache.findVarConstantArrayExpression(IntVar var,
long[] values,
int type)
Var Constant Array Expressions.
|
IntExpr |
ModelCache.findVarConstantConstantExpression(IntVar var,
long value1,
long value2,
int type)
Var Constant Constant Expressions.
|
IntExpr |
Solver.IntegerCastInfo.getExpression() |
IntExpr |
Solver.makeAbs(IntExpr expr)
|expr|
|
IntExpr |
Solver.makeConditionalExpression(IntVar condition,
IntExpr expr,
long unperformed_value)
Conditional Expr condition ?
|
IntExpr |
Solver.makeConvexPiecewiseExpr(IntExpr expr,
long early_cost,
long early_date,
long late_date,
long late_cost)
Convex piecewise function.
|
IntExpr |
Solver.makeDifference(IntExpr left,
IntExpr right)
left - right
|
IntExpr |
Solver.makeDifference(long value,
IntExpr expr)
value - expr
|
IntExpr |
Solver.makeDiv(IntExpr numerator,
IntExpr denominator)
numerator / denominator (integer division).
|
IntExpr |
Solver.makeDiv(IntExpr expr,
long value)
expr / value (integer division)
|
IntExpr |
Solver.makeElement(int[] values,
IntVar index)
values[index]
|
IntExpr |
Solver.makeElement(IntVar[] vars,
IntVar index)
vars[expr]
|
IntExpr |
Solver.makeElement(long[] values,
IntVar index)
values[index]
|
IntExpr |
Solver.makeElement(java.util.function.LongBinaryOperator values,
IntVar index1,
IntVar index2)
2D version of function-based element expression, values(expr1, expr2).
|
IntExpr |
Solver.makeElement(java.util.function.LongUnaryOperator values,
IntVar index)
Function-based element.
|
IntExpr |
Solver.makeIndexExpression(IntVar[] vars,
long value)
Returns the expression expr such that vars[expr] == value.
|
IntExpr |
Solver.makeMax(IntExpr expr,
int value)
std::max(expr, value)
|
IntExpr |
Solver.makeMax(IntExpr left,
IntExpr right)
std::max(left, right)
|
IntExpr |
Solver.makeMax(IntExpr expr,
long value)
std::max(expr, value)
|
IntExpr |
Solver.makeMax(IntVar[] vars)
std::max(vars)
|
IntExpr |
Solver.makeMin(IntExpr expr,
int value)
std::min(expr, value)
|
IntExpr |
Solver.makeMin(IntExpr left,
IntExpr right)
std::min (left, right)
|
IntExpr |
Solver.makeMin(IntExpr expr,
long value)
std::min(expr, value)
|
IntExpr |
Solver.makeMin(IntVar[] vars)
std::min(vars)
|
IntExpr |
Solver.makeModulo(IntExpr x,
IntExpr mod)
Modulo expression x % mod (with the python convention for modulo).
|
IntExpr |
Solver.makeModulo(IntExpr x,
long mod)
General piecewise-linear function expression, built from f(x) where f is
piecewise-linear. |
IntExpr |
Solver.makeMonotonicElement(java.util.function.LongUnaryOperator values,
boolean increasing,
IntVar index)
Function based element.
|
IntExpr |
Solver.makeOpposite(IntExpr expr)
-expr
|
IntExpr |
Solver.makePower(IntExpr expr,
long n)
expr ^ n (n > 0)
|
IntExpr |
Solver.makeProd(IntExpr left,
IntExpr right)
left * right
|
IntExpr |
Solver.makeProd(IntExpr expr,
long value)
expr * value
|
IntExpr |
Solver.makeScalProd(IntVar[] vars,
int[] coefs)
scalar product
|
IntExpr |
Solver.makeScalProd(IntVar[] vars,
long[] coefs)
scalar product
|
IntExpr |
Solver.makeSemiContinuousExpr(IntExpr expr,
long fixed_charge,
long step)
Semi continuous Expression (x <= 0 -> f(x) = 0; x > 0 -> f(x) = ax + b)
a >= 0 and b >= 0 |
IntExpr |
Solver.makeSquare(IntExpr expr)
expr * expr
|
IntExpr |
Solver.makeSum(IntExpr left,
IntExpr right)
left + right.
|
IntExpr |
Solver.makeSum(IntExpr expr,
long value)
expr + value.
|
IntExpr |
Solver.makeSum(IntVar[] vars)
sum of all vars.
|
IntExpr |
IntervalVar.performedExpr() |
IntExpr |
Solver.registerIntExpr(IntExpr expr)
Registers a new IntExpr and wraps it inside a TraceIntExpr if necessary.
|
IntExpr |
IntervalVar.safeDurationExpr(long unperformed_value) |
IntExpr |
IntervalVar.safeEndExpr(long unperformed_value) |
IntExpr |
IntervalVar.safeStartExpr(long unperformed_value)
These methods create expressions encapsulating the start, end
and duration of the interval var. |
IntExpr |
IntervalVar.startExpr()
These methods create expressions encapsulating the start, end
and duration of the interval var. |
Modifier and Type | Method and Description |
---|---|
void |
Solver.addCastConstraint(CastConstraint constraint,
IntVar target_var,
IntExpr expr)
Adds 'constraint' to the solver and marks it as a cast constraint, that
is, a constraint created calling Var() on an expression. |
void |
ModelVisitor.beginVisitIntegerExpression(java.lang.String type_name,
IntExpr expr) |
void |
ModelVisitor.endVisitIntegerExpression(java.lang.String type_name,
IntExpr expr) |
IntExpr |
ModelCache.findExprConstantExpression(IntExpr expr,
long value,
int type)
Expr Constant Expressions.
|
IntExpr |
ModelCache.findExprExprConstantExpression(IntExpr var1,
IntExpr var2,
long constant,
int type)
Expr Expr Constant Expressions.
|
Constraint |
ModelCache.findExprExprConstraint(IntExpr expr1,
IntExpr expr2,
int type)
Expr Expr Constraints.
|
IntExpr |
ModelCache.findExprExpression(IntExpr expr,
int type)
Expr Expressions.
|
IntExpr |
ModelCache.findExprExprExpression(IntExpr var1,
IntExpr var2,
int type)
Expr Expr Expressions.
|
static long |
IntExpr.getCPtr(IntExpr obj) |
void |
ModelCache.insertExprConstantExpression(IntExpr expression,
IntExpr var,
long value,
int type) |
void |
ModelCache.insertExprExprConstantExpression(IntExpr expression,
IntExpr var1,
IntExpr var2,
long constant,
int type) |
void |
ModelCache.insertExprExprConstraint(Constraint ct,
IntExpr expr1,
IntExpr expr2,
int type) |
void |
ModelCache.insertExprExpression(IntExpr expression,
IntExpr expr,
int type) |
void |
ModelCache.insertExprExprExpression(IntExpr expression,
IntExpr var1,
IntExpr var2,
int type) |
void |
ModelCache.insertVarArrayConstantArrayExpression(IntExpr expression,
IntVar[] var,
long[] values,
int type) |
void |
ModelCache.insertVarArrayConstantExpression(IntExpr expression,
IntVar[] var,
long value,
int type) |
void |
ModelCache.insertVarArrayExpression(IntExpr expression,
IntVar[] vars,
int type) |
void |
ModelCache.insertVarConstantArrayExpression(IntExpr expression,
IntVar var,
long[] values,
int type) |
void |
ModelCache.insertVarConstantConstantExpression(IntExpr expression,
IntVar var,
long value1,
long value2,
int type) |
static void |
mainJNI.IntExpr_accept(long jarg1,
IntExpr jarg1_,
long jarg2,
ModelVisitor jarg2_) |
static boolean |
mainJNI.IntExpr_bound(long jarg1,
IntExpr jarg1_) |
static boolean |
mainJNI.IntExpr_isVar(long jarg1,
IntExpr jarg1_) |
static long |
mainJNI.IntExpr_max(long jarg1,
IntExpr jarg1_) |
static long |
mainJNI.IntExpr_min(long jarg1,
IntExpr jarg1_) |
static void |
mainJNI.IntExpr_range(long jarg1,
IntExpr jarg1_,
long[] jarg2,
long[] jarg3) |
static void |
mainJNI.IntExpr_setMax(long jarg1,
IntExpr jarg1_,
long jarg2) |
static void |
mainJNI.IntExpr_setMin(long jarg1,
IntExpr jarg1_,
long jarg2) |
static void |
mainJNI.IntExpr_setRange(long jarg1,
IntExpr jarg1_,
long jarg2,
long jarg3) |
static void |
mainJNI.IntExpr_setValue(long jarg1,
IntExpr jarg1_,
long jarg2) |
static long |
mainJNI.IntExpr_var(long jarg1,
IntExpr jarg1_) |
static long |
mainJNI.IntExpr_varWithName(long jarg1,
IntExpr jarg1_,
java.lang.String jarg2) |
static void |
mainJNI.IntExpr_whenRange__SWIG_0(long jarg1,
IntExpr jarg1_,
long jarg2,
Demon jarg2_) |
static void |
mainJNI.IntExpr_whenRange__SWIG_1(long jarg1,
IntExpr jarg1_,
java.lang.Runnable jarg2) |
IntExpr |
Solver.makeAbs(IntExpr expr)
|expr|
|
Constraint |
Solver.makeBetweenCt(IntExpr expr,
long l,
long u)
(l <= expr <= u)
|
IntExpr |
Solver.makeConditionalExpression(IntVar condition,
IntExpr expr,
long unperformed_value)
Conditional Expr condition ?
|
IntExpr |
Solver.makeConvexPiecewiseExpr(IntExpr expr,
long early_cost,
long early_date,
long late_date,
long late_cost)
Convex piecewise function.
|
IntExpr |
Solver.makeDifference(IntExpr left,
IntExpr right)
left - right
|
IntExpr |
Solver.makeDifference(long value,
IntExpr expr)
value - expr
|
IntExpr |
Solver.makeDiv(IntExpr numerator,
IntExpr denominator)
numerator / denominator (integer division).
|
IntExpr |
Solver.makeDiv(IntExpr expr,
long value)
expr / value (integer division)
|
Constraint |
Solver.makeEquality(IntExpr expr,
int value)
expr == value
|
Constraint |
Solver.makeEquality(IntExpr left,
IntExpr right)
left == right
|
Constraint |
Solver.makeEquality(IntExpr expr,
long value)
expr == value
|
Constraint |
Solver.makeGreater(IntExpr expr,
int value)
expr > value
|
Constraint |
Solver.makeGreater(IntExpr left,
IntExpr right)
left > right
|
Constraint |
Solver.makeGreater(IntExpr expr,
long value)
expr > value
|
Constraint |
Solver.makeGreaterOrEqual(IntExpr expr,
int value)
expr >= value
|
Constraint |
Solver.makeGreaterOrEqual(IntExpr left,
IntExpr right)
left >= right
|
Constraint |
Solver.makeGreaterOrEqual(IntExpr expr,
long value)
expr >= value
|
Constraint |
Solver.makeIfThenElseCt(IntVar condition,
IntExpr then_expr,
IntExpr else_expr,
IntVar target_var)
Special cases with arrays of size two.
|
Constraint |
Solver.makeIsBetweenCt(IntExpr expr,
long l,
long u,
IntVar b)
b == (l <= expr <= u)
|
IntVar |
Solver.makeIsBetweenVar(IntExpr v,
long l,
long u) |
Constraint |
Solver.makeIsDifferentCstCt(IntExpr v1,
IntExpr v2,
IntVar b)
b == (v1 !
|
Constraint |
Solver.makeIsDifferentCstCt(IntExpr var,
long value,
IntVar boolvar)
boolvar == (var !
|
IntVar |
Solver.makeIsDifferentCstVar(IntExpr v1,
IntExpr v2)
status var of (v1 !
|
IntVar |
Solver.makeIsDifferentCstVar(IntExpr var,
long value)
status var of (var !
|
Constraint |
Solver.makeIsEqualCstCt(IntExpr var,
long value,
IntVar boolvar)
boolvar == (var == value)
|
IntVar |
Solver.makeIsEqualCstVar(IntExpr var,
long value)
status var of (var == value)
|
IntVar |
Solver.makeIsEqualVar(IntExpr v1,
IntExpr v2)
status var of (v1 == v2)
|
Constraint |
Solver.makeIsEqualVar(IntExpr v1,
IntExpr v2,
IntVar b)
b == (v1 == v2)
|
Constraint |
Solver.makeIsGreaterCstCt(IntExpr v,
long c,
IntVar b)
b == (v > c)
|
IntVar |
Solver.makeIsGreaterCstVar(IntExpr var,
long value)
status var of (var > value)
|
Constraint |
Solver.makeIsGreaterCt(IntExpr left,
IntExpr right,
IntVar b)
b == (left > right)
|
Constraint |
Solver.makeIsGreaterOrEqualCstCt(IntExpr var,
long value,
IntVar boolvar)
boolvar == (var >= value)
|
IntVar |
Solver.makeIsGreaterOrEqualCstVar(IntExpr var,
long value)
status var of (var >= value)
|
Constraint |
Solver.makeIsGreaterOrEqualCt(IntExpr left,
IntExpr right,
IntVar b)
b == (left >= right)
|
IntVar |
Solver.makeIsGreaterOrEqualVar(IntExpr left,
IntExpr right)
status var of (left >= right)
|
IntVar |
Solver.makeIsGreaterVar(IntExpr left,
IntExpr right)
status var of (left > right)
|
Constraint |
Solver.makeIsLessCstCt(IntExpr v,
long c,
IntVar b)
b == (v < c)
|
IntVar |
Solver.makeIsLessCstVar(IntExpr var,
long value)
status var of (var < value)
|
Constraint |
Solver.makeIsLessCt(IntExpr left,
IntExpr right,
IntVar b)
b == (left < right)
|
Constraint |
Solver.makeIsLessOrEqualCstCt(IntExpr var,
long value,
IntVar boolvar)
boolvar == (var <= value)
|
IntVar |
Solver.makeIsLessOrEqualCstVar(IntExpr var,
long value)
status var of (var <= value)
|
Constraint |
Solver.makeIsLessOrEqualCt(IntExpr left,
IntExpr right,
IntVar b)
b == (left <= right)
|
IntVar |
Solver.makeIsLessOrEqualVar(IntExpr left,
IntExpr right)
status var of (left <= right)
|
IntVar |
Solver.makeIsLessVar(IntExpr left,
IntExpr right)
status var of (left < right)
|
Constraint |
Solver.makeIsMemberCt(IntExpr expr,
int[] values,
IntVar boolvar) |
Constraint |
Solver.makeIsMemberCt(IntExpr expr,
long[] values,
IntVar boolvar)
boolvar == (expr in set)
|
IntVar |
Solver.makeIsMemberVar(IntExpr expr,
int[] values) |
IntVar |
Solver.makeIsMemberVar(IntExpr expr,
long[] values) |
Constraint |
Solver.makeLess(IntExpr expr,
int value)
expr < value
|
Constraint |
Solver.makeLess(IntExpr left,
IntExpr right)
left < right
|
Constraint |
Solver.makeLess(IntExpr expr,
long value)
expr < value
|
Constraint |
Solver.makeLessOrEqual(IntExpr expr,
int value)
expr <= value
|
Constraint |
Solver.makeLessOrEqual(IntExpr left,
IntExpr right)
left <= right
|
Constraint |
Solver.makeLessOrEqual(IntExpr expr,
long value)
expr <= value
|
IntExpr |
Solver.makeMax(IntExpr expr,
int value)
std::max(expr, value)
|
IntExpr |
Solver.makeMax(IntExpr left,
IntExpr right)
std::max(left, right)
|
IntExpr |
Solver.makeMax(IntExpr expr,
long value)
std::max(expr, value)
|
Constraint |
Solver.makeMemberCt(IntExpr expr,
int[] values) |
Constraint |
Solver.makeMemberCt(IntExpr expr,
long[] values)
expr in set.
|
IntExpr |
Solver.makeMin(IntExpr expr,
int value)
std::min(expr, value)
|
IntExpr |
Solver.makeMin(IntExpr left,
IntExpr right)
std::min (left, right)
|
IntExpr |
Solver.makeMin(IntExpr expr,
long value)
std::min(expr, value)
|
IntExpr |
Solver.makeModulo(IntExpr x,
IntExpr mod)
Modulo expression x % mod (with the python convention for modulo).
|
IntExpr |
Solver.makeModulo(IntExpr x,
long mod)
General piecewise-linear function expression, built from f(x) where f is
piecewise-linear. |
Constraint |
Solver.makeNonEquality(IntExpr expr,
int value)
expr !
|
Constraint |
Solver.makeNonEquality(IntExpr left,
IntExpr right)
left !
|
Constraint |
Solver.makeNonEquality(IntExpr expr,
long value)
expr !
|
Constraint |
Solver.makeNotBetweenCt(IntExpr expr,
long l,
long u)
(expr < l || expr > u)
This constraint is lazy as it will not make holes in the domain of variables. |
Constraint |
Solver.makeNotMemberCt(IntExpr expr,
int[] values) |
Constraint |
Solver.makeNotMemberCt(IntExpr expr,
int[] starts,
int[] ends)
expr should not be in the list of forbidden intervals [start[i]..end[i]].
|
Constraint |
Solver.makeNotMemberCt(IntExpr expr,
long[] values)
expr not in set.
|
Constraint |
Solver.makeNotMemberCt(IntExpr expr,
long[] starts,
long[] ends)
expr should not be in the list of forbidden intervals [start[i]..end[i]].
|
IntExpr |
Solver.makeOpposite(IntExpr expr)
-expr
|
IntExpr |
Solver.makePower(IntExpr expr,
long n)
expr ^ n (n > 0)
|
IntExpr |
Solver.makeProd(IntExpr left,
IntExpr right)
left * right
|
IntExpr |
Solver.makeProd(IntExpr expr,
long value)
expr * value
|
IntExpr |
Solver.makeSemiContinuousExpr(IntExpr expr,
long fixed_charge,
long step)
Semi continuous Expression (x <= 0 -> f(x) = 0; x > 0 -> f(x) = ax + b)
a >= 0 and b >= 0 |
IntExpr |
Solver.makeSquare(IntExpr expr)
expr * expr
|
IntExpr |
Solver.makeSum(IntExpr left,
IntExpr right)
left + right.
|
IntExpr |
Solver.makeSum(IntExpr expr,
long value)
expr + value.
|
static long |
mainJNI.ModelCache_findExprConstantExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
int jarg4) |
static long |
mainJNI.ModelCache_findExprExprConstantExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
int jarg5) |
static long |
mainJNI.ModelCache_findExprExprConstraint(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
int jarg4) |
static long |
mainJNI.ModelCache_findExprExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
int jarg3) |
static long |
mainJNI.ModelCache_findExprExprExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
int jarg4) |
static void |
mainJNI.ModelCache_insertExprConstantExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
int jarg5) |
static void |
mainJNI.ModelCache_insertExprExprConstantExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntExpr jarg4_,
long jarg5,
int jarg6) |
static void |
mainJNI.ModelCache_insertExprExprConstraint(long jarg1,
ModelCache jarg1_,
long jarg2,
Constraint jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntExpr jarg4_,
int jarg5) |
static void |
mainJNI.ModelCache_insertExprExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
int jarg4) |
static void |
mainJNI.ModelCache_insertExprExprExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntExpr jarg4_,
int jarg5) |
static void |
mainJNI.ModelCache_insertVarArrayConstantArrayExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
IntVar[] jarg3,
long[] jarg4,
int jarg5) |
static void |
mainJNI.ModelCache_insertVarArrayConstantExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
IntVar[] jarg3,
long jarg4,
int jarg5) |
static void |
mainJNI.ModelCache_insertVarArrayExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
IntVar[] jarg3,
int jarg4) |
static void |
mainJNI.ModelCache_insertVarConstantArrayExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntVar jarg3_,
long[] jarg4,
int jarg5) |
static void |
mainJNI.ModelCache_insertVarConstantConstantExpression(long jarg1,
ModelCache jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntVar jarg3_,
long jarg4,
long jarg5,
int jarg6) |
static void |
mainJNI.ModelVisitor_beginVisitIntegerExpression(long jarg1,
ModelVisitor jarg1_,
java.lang.String jarg2,
long jarg3,
IntExpr jarg3_) |
static void |
mainJNI.ModelVisitor_endVisitIntegerExpression(long jarg1,
ModelVisitor jarg1_,
java.lang.String jarg2,
long jarg3,
IntExpr jarg3_) |
static void |
mainJNI.ModelVisitor_visitIntegerExpressionArgument(long jarg1,
ModelVisitor jarg1_,
java.lang.String jarg2,
long jarg3,
IntExpr jarg3_) |
static void |
mainJNI.ModelVisitor_visitIntegerVariable__SWIG_0(long jarg1,
ModelVisitor jarg1_,
long jarg2,
IntVar jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.new_Solver_IntegerCastInfo__SWIG_1(long jarg1,
IntVar jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
Constraint jarg3_) |
static void |
mainJNI.PropagationMonitor_setMax__SWIG_0(long jarg1,
PropagationMonitor jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static void |
mainJNI.PropagationMonitor_setMin__SWIG_0(long jarg1,
PropagationMonitor jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static void |
mainJNI.PropagationMonitor_setRange__SWIG_0(long jarg1,
PropagationMonitor jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4) |
IntExpr |
Solver.registerIntExpr(IntExpr expr)
Registers a new IntExpr and wraps it inside a TraceIntExpr if necessary.
|
void |
Solver.IntegerCastInfo.setExpression(IntExpr value) |
void |
PropagationMonitor.setMax(IntExpr expr,
long new_max) |
void |
PropagationMonitor.setMin(IntExpr expr,
long new_min)
IntExpr modifiers.
|
void |
PropagationMonitor.setRange(IntExpr expr,
long new_min,
long new_max) |
static void |
mainJNI.Solver_addCastConstraint(long jarg1,
Solver jarg1_,
long jarg2,
CastConstraint jarg2_,
long jarg3,
IntVar jarg3_,
long jarg4,
IntExpr jarg4_) |
static void |
mainJNI.Solver_IntegerCastInfo_expression_set(long jarg1,
Solver.IntegerCastInfo jarg1_,
long jarg2,
IntExpr jarg2_) |
static long |
mainJNI.Solver_makeAbs(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_) |
static long |
mainJNI.Solver_makeBetweenCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4) |
static long |
mainJNI.Solver_makeConditionalExpression(long jarg1,
Solver jarg1_,
long jarg2,
IntVar jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4) |
static long |
mainJNI.Solver_makeConvexPiecewiseExpr(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4,
long jarg5,
long jarg6) |
static long |
mainJNI.Solver_makeDifference__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeDifference__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeDiv__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeDiv__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeEquality__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeEquality__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeEquality__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int jarg3) |
static long |
mainJNI.Solver_makeGreater__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeGreater__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeGreater__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int jarg3) |
static long |
mainJNI.Solver_makeGreaterOrEqual__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeGreaterOrEqual__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeGreaterOrEqual__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int jarg3) |
static long |
mainJNI.Solver_makeIfThenElseCt(long jarg1,
Solver jarg1_,
long jarg2,
IntVar jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntExpr jarg4_,
long jarg5,
IntVar jarg5_) |
static long |
mainJNI.Solver_makeIsBetweenCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4,
long jarg5,
IntVar jarg5_) |
static long |
mainJNI.Solver_makeIsBetweenVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4) |
static long |
mainJNI.Solver_makeIsDifferentCstCt__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsDifferentCstCt__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsDifferentCstVar__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeIsDifferentCstVar__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeIsEqualCstCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsEqualCstVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeIsEqualVar__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsEqualVar__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeIsGreaterCstCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsGreaterCstVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeIsGreaterCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsGreaterOrEqualCstCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsGreaterOrEqualCstVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeIsGreaterOrEqualCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsGreaterOrEqualVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeIsGreaterVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeIsLessCstCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsLessCstVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeIsLessCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsLessOrEqualCstCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsLessOrEqualCstVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeIsLessOrEqualCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsLessOrEqualVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeIsLessVar(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeIsMemberCt__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long[] jarg3,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsMemberCt__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int[] jarg3,
long jarg4,
IntVar jarg4_) |
static long |
mainJNI.Solver_makeIsMemberVar__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long[] jarg3) |
static long |
mainJNI.Solver_makeIsMemberVar__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int[] jarg3) |
static long |
mainJNI.Solver_makeLess__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeLess__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeLess__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int jarg3) |
static long |
mainJNI.Solver_makeLessOrEqual__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeLessOrEqual__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeLessOrEqual__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int jarg3) |
static long |
mainJNI.Solver_makeMax__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeMax__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeMax__SWIG_3(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int jarg3) |
static long |
mainJNI.Solver_makeMemberCt__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long[] jarg3) |
static long |
mainJNI.Solver_makeMemberCt__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int[] jarg3) |
static long |
mainJNI.Solver_makeMin__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeMin__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeMin__SWIG_3(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int jarg3) |
static long |
mainJNI.Solver_makeModulo__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeModulo__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeNonEquality__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeNonEquality__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeNonEquality__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int jarg3) |
static long |
mainJNI.Solver_makeNotBetweenCt(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4) |
static long |
mainJNI.Solver_makeNotMemberCt__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long[] jarg3) |
static long |
mainJNI.Solver_makeNotMemberCt__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int[] jarg3) |
static long |
mainJNI.Solver_makeNotMemberCt__SWIG_2(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long[] jarg3,
long[] jarg4) |
static long |
mainJNI.Solver_makeNotMemberCt__SWIG_3(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
int[] jarg3,
int[] jarg4) |
static long |
mainJNI.Solver_makeOpposite(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_) |
static long |
mainJNI.Solver_makePower(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeProd__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeProd__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_makeSemiContinuousExpr(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
long jarg4) |
static long |
mainJNI.Solver_makeSquare(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_) |
static long |
mainJNI.Solver_makeSum__SWIG_0(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3,
IntExpr jarg3_) |
static long |
mainJNI.Solver_makeSum__SWIG_1(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_,
long jarg3) |
static long |
mainJNI.Solver_registerIntExpr(long jarg1,
Solver jarg1_,
long jarg2,
IntExpr jarg2_) |
static long |
IntExpr.swigRelease(IntExpr obj) |
void |
ModelVisitor.visitIntegerExpressionArgument(java.lang.String arg_name,
IntExpr argument)
Visit integer expression argument.
|
void |
ModelVisitor.visitIntegerVariable(IntVar variable,
IntExpr delegate) |
Constructor and Description |
---|
IntegerCastInfo(IntVar v,
IntExpr e,
Constraint c) |
Copyright © 2025. All rights reserved.