Java Reference
Java Reference
ModelCache.java
Go to the documentation of this file.
62 long cPtr = mainJNI.ModelCache_findVarConstantConstraint(swigCPtr, this, IntVar.getCPtr(var), var, value, type);
67 mainJNI.ModelCache_insertVarConstantConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntVar.getCPtr(var), var, value, type);
73 public Constraint findVarConstantConstantConstraint(IntVar var, long value1, long value2, int type) {
74 long cPtr = mainJNI.ModelCache_findVarConstantConstantConstraint(swigCPtr, this, IntVar.getCPtr(var), var, value1, value2, type);
78 public void insertVarConstantConstantConstraint(Constraint ct, IntVar var, long value1, long value2, int type) {
79 mainJNI.ModelCache_insertVarConstantConstantConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntVar.getCPtr(var), var, value1, value2, type);
86 long cPtr = mainJNI.ModelCache_findExprExprConstraint(swigCPtr, this, IntExpr.getCPtr(expr1), expr1, IntExpr.getCPtr(expr2), expr2, type);
91 mainJNI.ModelCache_insertExprExprConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntExpr.getCPtr(expr1), expr1, IntExpr.getCPtr(expr2), expr2, type);
98 long cPtr = mainJNI.ModelCache_findExprExpression(swigCPtr, this, IntExpr.getCPtr(expr), expr, type);
103 mainJNI.ModelCache_insertExprExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(expr), expr, type);
110 long cPtr = mainJNI.ModelCache_findExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(expr), expr, value, type);
114 public void insertExprConstantExpression(IntExpr expression, IntExpr var, long value, int type) {
115 mainJNI.ModelCache_insertExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(var), var, value, type);
122 long cPtr = mainJNI.ModelCache_findExprExprExpression(swigCPtr, this, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, type);
126 public void insertExprExprExpression(IntExpr expression, IntExpr var1, IntExpr var2, int type) {
127 mainJNI.ModelCache_insertExprExprExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, type);
133 public IntExpr findExprExprConstantExpression(IntExpr var1, IntExpr var2, long constant, int type) {
134 long cPtr = mainJNI.ModelCache_findExprExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, constant, type);
138 public void insertExprExprConstantExpression(IntExpr expression, IntExpr var1, IntExpr var2, long constant, int type) {
139 mainJNI.ModelCache_insertExprExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, constant, type);
145 public IntExpr findVarConstantConstantExpression(IntVar var, long value1, long value2, int type) {
146 long cPtr = mainJNI.ModelCache_findVarConstantConstantExpression(swigCPtr, this, IntVar.getCPtr(var), var, value1, value2, type);
150 public void insertVarConstantConstantExpression(IntExpr expression, IntVar var, long value1, long value2, int type) {
151 mainJNI.ModelCache_insertVarConstantConstantExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntVar.getCPtr(var), var, value1, value2, type);
158 long cPtr = mainJNI.ModelCache_findVarConstantArrayExpression(swigCPtr, this, IntVar.getCPtr(var), var, values, type);
162 public void insertVarConstantArrayExpression(IntExpr expression, IntVar var, long[] values, int type) {
163 mainJNI.ModelCache_insertVarConstantArrayExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntVar.getCPtr(var), var, values, type);
175 mainJNI.ModelCache_insertVarArrayExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, vars, type);
182 long cPtr = mainJNI.ModelCache_findVarArrayConstantArrayExpression(swigCPtr, this, vars, values, type);
186 public void insertVarArrayConstantArrayExpression(IntExpr expression, IntVar[] var, long[] values, int type) {
187 mainJNI.ModelCache_insertVarArrayConstantArrayExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, var, values, type);
194 long cPtr = mainJNI.ModelCache_findVarArrayConstantExpression(swigCPtr, this, vars, value, type);
198 public void insertVarArrayConstantExpression(IntExpr expression, IntVar[] var, long value, int type) {
199 mainJNI.ModelCache_insertVarArrayConstantExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, var, value, type);
214 public final static int VAR_CONSTANT_GREATER_OR_EQUAL = mainJNI.ModelCache_VAR_CONSTANT_GREATER_OR_EQUAL_get();
215 public final static int VAR_CONSTANT_LESS_OR_EQUAL = mainJNI.ModelCache_VAR_CONSTANT_LESS_OR_EQUAL_get();
216 public final static int VAR_CONSTANT_NON_EQUALITY = mainJNI.ModelCache_VAR_CONSTANT_NON_EQUALITY_get();
217 public final static int VAR_CONSTANT_CONSTRAINT_MAX = mainJNI.ModelCache_VAR_CONSTANT_CONSTRAINT_MAX_get();
220 public final static int VAR_CONSTANT_CONSTANT_BETWEEN = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_BETWEEN_get();
221 public final static int VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX_get();
226 public final static int EXPR_EXPR_GREATER_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_GREATER_OR_EQUAL_get();
228 public final static int EXPR_EXPR_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_LESS_OR_EQUAL_get();
229 public final static int EXPR_EXPR_NON_EQUALITY = mainJNI.ModelCache_EXPR_EXPR_NON_EQUALITY_get();
230 public final static int EXPR_EXPR_CONSTRAINT_MAX = mainJNI.ModelCache_EXPR_EXPR_CONSTRAINT_MAX_get();
246 public final static int EXPR_EXPR_IS_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_LESS_OR_EQUAL_get();
248 public final static int EXPR_EXPR_IS_NOT_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_NOT_EQUAL_get();
249 public final static int EXPR_EXPR_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_EXPR_EXPRESSION_MAX_get();
252 public final static int EXPR_EXPR_CONSTANT_CONDITIONAL = mainJNI.ModelCache_EXPR_EXPR_CONSTANT_CONDITIONAL_get();
253 public final static int EXPR_EXPR_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_EXPR_CONSTANT_EXPRESSION_MAX_get();
256 public final static int EXPR_CONSTANT_DIFFERENCE = mainJNI.ModelCache_EXPR_CONSTANT_DIFFERENCE_get();
262 public final static int EXPR_CONSTANT_IS_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_EQUAL_get();
263 public final static int EXPR_CONSTANT_IS_NOT_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_NOT_EQUAL_get();
264 public final static int EXPR_CONSTANT_IS_GREATER_OR_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_GREATER_OR_EQUAL_get();
265 public final static int EXPR_CONSTANT_IS_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_LESS_OR_EQUAL_get();
266 public final static int EXPR_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_CONSTANT_EXPRESSION_MAX_get();
269 public final static int VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS_get();
270 public final static int VAR_CONSTANT_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_EXPRESSION_MAX_get();
273 public final static int VAR_CONSTANT_ARRAY_ELEMENT = mainJNI.ModelCache_VAR_CONSTANT_ARRAY_ELEMENT_get();
274 public final static int VAR_CONSTANT_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_CONSTANT_ARRAY_EXPRESSION_MAX_get();
277 public final static int VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD_get();
278 public final static int VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX_get();
284 public final static int VAR_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_EXPRESSION_MAX_get();
287 public final static int VAR_ARRAY_CONSTANT_INDEX = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_INDEX_get();
288 public final static int VAR_ARRAY_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_EXPRESSION_MAX_get();
IntExpr findExprExprExpression(IntExpr var1, IntExpr var2, int type)
Expr Expr Expressions.
Definition: ModelCache.java:121
void insertExprExprConstantExpression(IntExpr expression, IntExpr var1, IntExpr var2, long constant, int type)
Definition: ModelCache.java:138
A constraint is the main modeling object.
static final int EXPR_EXPR_SUM
Definition: ModelCache.java:244
IntExpr findVarArrayExpression(IntVar[] vars, int type)
Var Array Expressions.
Definition: ModelCache.java:169
static final int VAR_ARRAY_MIN
Definition: ModelCache.java:282
static final int VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX
Definition: ModelCache.java:278
static final int EXPR_EXPR_GREATER
Definition: ModelCache.java:225
IntExpr findVarArrayConstantExpression(IntVar[] vars, long value, int type)
Var Array Constant Expressions.
Definition: ModelCache.java:193
static final int EXPR_EXPR_CONSTANT_EXPRESSION_MAX
Definition: ModelCache.java:253
IntExpr findVarConstantArrayExpression(IntVar var, long[] values, int type)
Var Constant Array Expressions.
Definition: ModelCache.java:157
static final int EXPR_EXPR_LESS_OR_EQUAL
Definition: ModelCache.java:228
Implements a complete cache for model elements: expressions and constraints.
Definition: ModelCache.java:14
The class IntExpr is the base of all integer expressions in constraint programming.
Definition: IntExpr.java:14
void insertExprConstantExpression(IntExpr expression, IntExpr var, long value, int type)
Definition: ModelCache.java:114
static final int EXPR_CONSTANT_IS_LESS_OR_EQUAL
Definition: ModelCache.java:265
static final int VOID_TRUE_CONSTRAINT
Definition: ModelCache.java:209
static final int VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX
Definition: ModelCache.java:221
void insertExprExpression(IntExpr expression, IntExpr expr, int type)
Definition: ModelCache.java:102
static final int EXPR_CONSTANT_DIVIDE
Definition: ModelCache.java:257
static final int VAR_CONSTANT_NON_EQUALITY
Definition: ModelCache.java:216
The class IntVar is a subset of IntExpr.
Constraint findVarConstantConstantConstraint(IntVar var, long value1, long value2, int type)
Var Constant Constant Constraints.
Definition: ModelCache.java:73
static final int EXPR_EXPR_PROD
Definition: ModelCache.java:240
static final int EXPR_CONSTANT_DIFFERENCE
Definition: ModelCache.java:256
static final int VAR_CONSTANT_CONSTANT_EXPRESSION_MAX
Definition: ModelCache.java:270
static final int EXPR_OPPOSITE
Definition: ModelCache.java:233
IntExpr findExprExprConstantExpression(IntExpr var1, IntExpr var2, long constant, int type)
Expr Expr Constant Expressions.
Definition: ModelCache.java:133
static final int VOID_FALSE_CONSTRAINT
Definition: ModelCache.java:208
static final int VAR_CONSTANT_EQUALITY
Definition: ModelCache.java:213
static final int VAR_CONSTANT_ARRAY_ELEMENT
Definition: ModelCache.java:273
static final int VAR_ARRAY_CONSTANT_EXPRESSION_MAX
Definition: ModelCache.java:288
ModelCache(long cPtr, boolean cMemoryOwn)
Definition: ModelCache.java:18
static final int EXPR_CONSTANT_EXPRESSION_MAX
Definition: ModelCache.java:266
IntExpr findVarArrayConstantArrayExpression(IntVar[] vars, long[] values, int type)
Var Array Constant Array Expressions.
Definition: ModelCache.java:181
static final int EXPR_EXPRESSION_MAX
Definition: ModelCache.java:236
void insertVarConstantConstantExpression(IntExpr expression, IntVar var, long value1, long value2, int type)
Definition: ModelCache.java:150
IntExpr findVarConstantConstantExpression(IntVar var, long value1, long value2, int type)
Var Constant Constant Expressions.
Definition: ModelCache.java:145
void insertVoidConstraint(Constraint ct, int type)
Definition: ModelCache.java:54
static final int VAR_ARRAY_EXPRESSION_MAX
Definition: ModelCache.java:284
static final int VAR_ARRAY_SUM
Definition: ModelCache.java:283
static final int EXPR_CONSTANT_IS_EQUAL
Definition: ModelCache.java:262
static final int EXPR_CONSTANT_IS_GREATER_OR_EQUAL
Definition: ModelCache.java:264
Constraint findVarConstantConstraint(IntVar var, long value, int type)
Var Constant Constraints.
Definition: ModelCache.java:61
static final int EXPR_EXPR_MAX
Definition: ModelCache.java:242
static final int EXPR_EXPR_CONSTANT_CONDITIONAL
Definition: ModelCache.java:252
static final int VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD
Definition: ModelCache.java:277
static final int EXPR_EXPR_DIFFERENCE
Definition: ModelCache.java:239
static final int VAR_CONSTANT_GREATER_OR_EQUAL
Definition: ModelCache.java:214
static final int EXPR_EXPR_LESS
Definition: ModelCache.java:227
void insertExprExprExpression(IntExpr expression, IntExpr var1, IntExpr var2, int type)
Definition: ModelCache.java:126
static final int EXPR_EXPR_EQUALITY
Definition: ModelCache.java:224
void insertVarArrayExpression(IntExpr expression, IntVar[] vars, int type)
Definition: ModelCache.java:174
static final int EXPR_CONSTANT_IS_NOT_EQUAL
Definition: ModelCache.java:263
static final int VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS
Definition: ModelCache.java:269
static final int VAR_ARRAY_MAX
Definition: ModelCache.java:281
void insertVarConstantConstraint(Constraint ct, IntVar var, long value, int type)
Definition: ModelCache.java:66
IntExpr findExprConstantExpression(IntExpr expr, long value, int type)
Expr Constant Expressions.
Definition: ModelCache.java:109
static final int EXPR_CONSTANT_SUM
Definition: ModelCache.java:261
static final int EXPR_EXPR_IS_NOT_EQUAL
Definition: ModelCache.java:248
void insertVarConstantArrayExpression(IntExpr expression, IntVar var, long[] values, int type)
Definition: ModelCache.java:162
static final int EXPR_EXPR_MIN
Definition: ModelCache.java:243
static final int EXPR_EXPR_CONSTRAINT_MAX
Definition: ModelCache.java:230
static final int EXPR_EXPR_EXPRESSION_MAX
Definition: ModelCache.java:249
static final int EXPR_EXPR_IS_LESS_OR_EQUAL
Definition: ModelCache.java:246
static final int VOID_CONSTRAINT_MAX
Definition: ModelCache.java:210
static final int VAR_ARRAY_CONSTANT_INDEX
Definition: ModelCache.java:287
static final int EXPR_ABS
Definition: ModelCache.java:234
static final int EXPR_SQUARE
Definition: ModelCache.java:235
static final int EXPR_EXPR_NON_EQUALITY
Definition: ModelCache.java:229
static final int EXPR_EXPR_GREATER_OR_EQUAL
Definition: ModelCache.java:226
static final int EXPR_EXPR_DIV
Definition: ModelCache.java:241
static final int EXPR_CONSTANT_MAX
Definition: ModelCache.java:259
static final int VAR_CONSTANT_LESS_OR_EQUAL
Definition: ModelCache.java:215
void insertVarArrayConstantArrayExpression(IntExpr expression, IntVar[] var, long[] values, int type)
Definition: ModelCache.java:186
static final int VAR_CONSTANT_CONSTANT_BETWEEN
Definition: ModelCache.java:220
Constraint findExprExprConstraint(IntExpr expr1, IntExpr expr2, int type)
Expr Expr Constraints.
Definition: ModelCache.java:85
static final int EXPR_EXPR_IS_EQUAL
Definition: ModelCache.java:247
static final int VAR_CONSTANT_CONSTRAINT_MAX
Definition: ModelCache.java:217
static final int EXPR_CONSTANT_MIN
Definition: ModelCache.java:260
static final int EXPR_EXPR_IS_LESS
Definition: ModelCache.java:245
static final int EXPR_CONSTANT_PROD
Definition: ModelCache.java:258
Solver Class A solver represents the main computation engine.
Definition: Solver.java:57
void insertExprExprConstraint(Constraint ct, IntExpr expr1, IntExpr expr2, int type)
Definition: ModelCache.java:90
void insertVarConstantConstantConstraint(Constraint ct, IntVar var, long value1, long value2, int type)
Definition: ModelCache.java:78
static final int VAR_CONSTANT_ARRAY_EXPRESSION_MAX
Definition: ModelCache.java:274
void insertVarArrayConstantExpression(IntExpr expression, IntVar[] var, long value, int type)
Definition: ModelCache.java:198