Java Reference
Java Reference
ModelCache.java
Go to the documentation of this file.
65 long cPtr = mainJNI.ModelCache_findVarConstantConstraint(swigCPtr, this, IntVar.getCPtr(var), var, value, type);
70 mainJNI.ModelCache_insertVarConstantConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntVar.getCPtr(var), var, value, type);
76 public Constraint findVarConstantConstantConstraint(IntVar var, long value1, long value2, int type) {
77 long cPtr = mainJNI.ModelCache_findVarConstantConstantConstraint(swigCPtr, this, IntVar.getCPtr(var), var, value1, value2, type);
81 public void insertVarConstantConstantConstraint(Constraint ct, IntVar var, long value1, long value2, int type) {
82 mainJNI.ModelCache_insertVarConstantConstantConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntVar.getCPtr(var), var, value1, value2, type);
89 long cPtr = mainJNI.ModelCache_findExprExprConstraint(swigCPtr, this, IntExpr.getCPtr(expr1), expr1, IntExpr.getCPtr(expr2), expr2, type);
94 mainJNI.ModelCache_insertExprExprConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntExpr.getCPtr(expr1), expr1, IntExpr.getCPtr(expr2), expr2, type);
101 long cPtr = mainJNI.ModelCache_findExprExpression(swigCPtr, this, IntExpr.getCPtr(expr), expr, type);
106 mainJNI.ModelCache_insertExprExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(expr), expr, type);
113 long cPtr = mainJNI.ModelCache_findExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(expr), expr, value, type);
117 public void insertExprConstantExpression(IntExpr expression, IntExpr var, long value, int type) {
118 mainJNI.ModelCache_insertExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(var), var, value, type);
125 long cPtr = mainJNI.ModelCache_findExprExprExpression(swigCPtr, this, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, type);
129 public void insertExprExprExpression(IntExpr expression, IntExpr var1, IntExpr var2, int type) {
130 mainJNI.ModelCache_insertExprExprExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, type);
136 public IntExpr findExprExprConstantExpression(IntExpr var1, IntExpr var2, long constant, int type) {
137 long cPtr = mainJNI.ModelCache_findExprExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, constant, type);
141 public void insertExprExprConstantExpression(IntExpr expression, IntExpr var1, IntExpr var2, long constant, int type) {
142 mainJNI.ModelCache_insertExprExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, constant, type);
148 public IntExpr findVarConstantConstantExpression(IntVar var, long value1, long value2, int type) {
149 long cPtr = mainJNI.ModelCache_findVarConstantConstantExpression(swigCPtr, this, IntVar.getCPtr(var), var, value1, value2, type);
153 public void insertVarConstantConstantExpression(IntExpr expression, IntVar var, long value1, long value2, int type) {
154 mainJNI.ModelCache_insertVarConstantConstantExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntVar.getCPtr(var), var, value1, value2, type);
161 long cPtr = mainJNI.ModelCache_findVarConstantArrayExpression(swigCPtr, this, IntVar.getCPtr(var), var, values, type);
165 public void insertVarConstantArrayExpression(IntExpr expression, IntVar var, long[] values, int type) {
166 mainJNI.ModelCache_insertVarConstantArrayExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntVar.getCPtr(var), var, values, type);
178 mainJNI.ModelCache_insertVarArrayExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, vars, type);
185 long cPtr = mainJNI.ModelCache_findVarArrayConstantArrayExpression(swigCPtr, this, vars, values, type);
189 public void insertVarArrayConstantArrayExpression(IntExpr expression, IntVar[] var, long[] values, int type) {
190 mainJNI.ModelCache_insertVarArrayConstantArrayExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, var, values, type);
197 long cPtr = mainJNI.ModelCache_findVarArrayConstantExpression(swigCPtr, this, vars, value, type);
201 public void insertVarArrayConstantExpression(IntExpr expression, IntVar[] var, long value, int type) {
202 mainJNI.ModelCache_insertVarArrayConstantExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, var, value, type);
217 public final static int VAR_CONSTANT_GREATER_OR_EQUAL = mainJNI.ModelCache_VAR_CONSTANT_GREATER_OR_EQUAL_get();
218 public final static int VAR_CONSTANT_LESS_OR_EQUAL = mainJNI.ModelCache_VAR_CONSTANT_LESS_OR_EQUAL_get();
219 public final static int VAR_CONSTANT_NON_EQUALITY = mainJNI.ModelCache_VAR_CONSTANT_NON_EQUALITY_get();
220 public final static int VAR_CONSTANT_CONSTRAINT_MAX = mainJNI.ModelCache_VAR_CONSTANT_CONSTRAINT_MAX_get();
223 public final static int VAR_CONSTANT_CONSTANT_BETWEEN = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_BETWEEN_get();
224 public final static int VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX_get();
229 public final static int EXPR_EXPR_GREATER_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_GREATER_OR_EQUAL_get();
231 public final static int EXPR_EXPR_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_LESS_OR_EQUAL_get();
232 public final static int EXPR_EXPR_NON_EQUALITY = mainJNI.ModelCache_EXPR_EXPR_NON_EQUALITY_get();
233 public final static int EXPR_EXPR_CONSTRAINT_MAX = mainJNI.ModelCache_EXPR_EXPR_CONSTRAINT_MAX_get();
249 public final static int EXPR_EXPR_IS_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_LESS_OR_EQUAL_get();
251 public final static int EXPR_EXPR_IS_NOT_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_NOT_EQUAL_get();
252 public final static int EXPR_EXPR_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_EXPR_EXPRESSION_MAX_get();
255 public final static int EXPR_EXPR_CONSTANT_CONDITIONAL = mainJNI.ModelCache_EXPR_EXPR_CONSTANT_CONDITIONAL_get();
256 public final static int EXPR_EXPR_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_EXPR_CONSTANT_EXPRESSION_MAX_get();
259 public final static int EXPR_CONSTANT_DIFFERENCE = mainJNI.ModelCache_EXPR_CONSTANT_DIFFERENCE_get();
265 public final static int EXPR_CONSTANT_IS_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_EQUAL_get();
266 public final static int EXPR_CONSTANT_IS_NOT_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_NOT_EQUAL_get();
267 public final static int EXPR_CONSTANT_IS_GREATER_OR_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_GREATER_OR_EQUAL_get();
268 public final static int EXPR_CONSTANT_IS_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_LESS_OR_EQUAL_get();
269 public final static int EXPR_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_CONSTANT_EXPRESSION_MAX_get();
272 public final static int VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS_get();
273 public final static int VAR_CONSTANT_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_EXPRESSION_MAX_get();
276 public final static int VAR_CONSTANT_ARRAY_ELEMENT = mainJNI.ModelCache_VAR_CONSTANT_ARRAY_ELEMENT_get();
277 public final static int VAR_CONSTANT_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_CONSTANT_ARRAY_EXPRESSION_MAX_get();
280 public final static int VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD_get();
281 public final static int VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX_get();
287 public final static int VAR_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_EXPRESSION_MAX_get();
290 public final static int VAR_ARRAY_CONSTANT_INDEX = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_INDEX_get();
291 public final static int VAR_ARRAY_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_EXPRESSION_MAX_get();
A constraint is the main modeling object.
The class IntExpr is the base of all integer expressions in constraint programming.
Definition: IntExpr.java:20
The class IntVar is a subset of IntExpr.
Implements a complete cache for model elements: expressions and constraints.
Definition: ModelCache.java:17
Constraint findExprExprConstraint(IntExpr expr1, IntExpr expr2, int type)
Expr Expr Constraints.
Definition: ModelCache.java:88
static final int EXPR_CONSTANT_IS_GREATER_OR_EQUAL
Definition: ModelCache.java:267
static final int VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX
Definition: ModelCache.java:224
static final int EXPR_CONSTANT_MAX
Definition: ModelCache.java:262
void insertVarConstantConstantExpression(IntExpr expression, IntVar var, long value1, long value2, int type)
Definition: ModelCache.java:153
synchronized void delete()
Definition: ModelCache.java:35
static final int EXPR_EXPRESSION_MAX
Definition: ModelCache.java:239
void insertVarArrayConstantArrayExpression(IntExpr expression, IntVar[] var, long[] values, int type)
Definition: ModelCache.java:189
static final int EXPR_SQUARE
Definition: ModelCache.java:238
void insertVarConstantConstraint(Constraint ct, IntVar var, long value, int type)
Definition: ModelCache.java:69
static final int EXPR_CONSTANT_IS_EQUAL
Definition: ModelCache.java:265
static final int VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX
Definition: ModelCache.java:281
IntExpr findVarConstantConstantExpression(IntVar var, long value1, long value2, int type)
Var Constant Constant Expressions.
Definition: ModelCache.java:148
void insertVarArrayExpression(IntExpr expression, IntVar[] vars, int type)
Definition: ModelCache.java:177
static final int EXPR_EXPR_GREATER
Definition: ModelCache.java:228
static final int VAR_ARRAY_MAX
Definition: ModelCache.java:284
static final int VAR_CONSTANT_LESS_OR_EQUAL
Definition: ModelCache.java:218
static final int VOID_TRUE_CONSTRAINT
Definition: ModelCache.java:212
static final int VAR_CONSTANT_CONSTANT_BETWEEN
Definition: ModelCache.java:223
void insertVoidConstraint(Constraint ct, int type)
Definition: ModelCache.java:57
static final int VAR_CONSTANT_EQUALITY
Definition: ModelCache.java:216
static final int EXPR_EXPR_LESS_OR_EQUAL
Definition: ModelCache.java:231
static final int EXPR_OPPOSITE
Definition: ModelCache.java:236
static final int VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS
Definition: ModelCache.java:272
static final int EXPR_EXPR_GREATER_OR_EQUAL
Definition: ModelCache.java:229
static final int EXPR_EXPR_EXPRESSION_MAX
Definition: ModelCache.java:252
static final int EXPR_EXPR_SUM
Definition: ModelCache.java:247
void insertVarConstantArrayExpression(IntExpr expression, IntVar var, long[] values, int type)
Definition: ModelCache.java:165
static final int EXPR_EXPR_MIN
Definition: ModelCache.java:246
static final int VOID_CONSTRAINT_MAX
Definition: ModelCache.java:213
IntExpr findVarArrayExpression(IntVar[] vars, int type)
Var Array Expressions.
Definition: ModelCache.java:172
static final int VAR_CONSTANT_NON_EQUALITY
Definition: ModelCache.java:219
static final int EXPR_EXPR_MAX
Definition: ModelCache.java:245
static final int VAR_CONSTANT_CONSTRAINT_MAX
Definition: ModelCache.java:220
static final int VAR_CONSTANT_CONSTANT_EXPRESSION_MAX
Definition: ModelCache.java:273
ModelCache(long cPtr, boolean cMemoryOwn)
Definition: ModelCache.java:21
static final int EXPR_EXPR_IS_NOT_EQUAL
Definition: ModelCache.java:251
void insertVarConstantConstantConstraint(Constraint ct, IntVar var, long value1, long value2, int type)
Definition: ModelCache.java:81
static final int VOID_FALSE_CONSTRAINT
Definition: ModelCache.java:211
static final int EXPR_CONSTANT_EXPRESSION_MAX
Definition: ModelCache.java:269
static final int VAR_ARRAY_CONSTANT_INDEX
Definition: ModelCache.java:290
static final int EXPR_EXPR_DIV
Definition: ModelCache.java:244
static final int EXPR_EXPR_DIFFERENCE
Definition: ModelCache.java:242
static final int EXPR_CONSTANT_IS_LESS_OR_EQUAL
Definition: ModelCache.java:268
static final int VAR_CONSTANT_GREATER_OR_EQUAL
Definition: ModelCache.java:217
static final int EXPR_EXPR_IS_LESS
Definition: ModelCache.java:248
void insertExprExprConstraint(Constraint ct, IntExpr expr1, IntExpr expr2, int type)
Definition: ModelCache.java:93
static final int EXPR_CONSTANT_PROD
Definition: ModelCache.java:261
static final int EXPR_EXPR_EQUALITY
Definition: ModelCache.java:227
void insertVarArrayConstantExpression(IntExpr expression, IntVar[] var, long value, int type)
Definition: ModelCache.java:201
static final int EXPR_EXPR_CONSTANT_EXPRESSION_MAX
Definition: ModelCache.java:256
static final int EXPR_EXPR_CONSTRAINT_MAX
Definition: ModelCache.java:233
Constraint findVarConstantConstantConstraint(IntVar var, long value1, long value2, int type)
Var Constant Constant Constraints.
Definition: ModelCache.java:76
static final int VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD
Definition: ModelCache.java:280
static final int EXPR_CONSTANT_SUM
Definition: ModelCache.java:264
IntExpr findVarArrayConstantArrayExpression(IntVar[] vars, long[] values, int type)
Var Array Constant Array Expressions.
Definition: ModelCache.java:184
static final int EXPR_EXPR_IS_LESS_OR_EQUAL
Definition: ModelCache.java:249
void insertExprExprExpression(IntExpr expression, IntExpr var1, IntExpr var2, int type)
Definition: ModelCache.java:129
static final int VAR_CONSTANT_ARRAY_ELEMENT
Definition: ModelCache.java:276
static final int VAR_CONSTANT_ARRAY_EXPRESSION_MAX
Definition: ModelCache.java:277
static final int VAR_ARRAY_EXPRESSION_MAX
Definition: ModelCache.java:287
static final int EXPR_EXPR_NON_EQUALITY
Definition: ModelCache.java:232
void insertExprConstantExpression(IntExpr expression, IntExpr var, long value, int type)
Definition: ModelCache.java:117
IntExpr findExprConstantExpression(IntExpr expr, long value, int type)
Expr Constant Expressions.
Definition: ModelCache.java:112
static final int EXPR_EXPR_LESS
Definition: ModelCache.java:230
static final int EXPR_CONSTANT_DIFFERENCE
Definition: ModelCache.java:259
static final int EXPR_CONSTANT_IS_NOT_EQUAL
Definition: ModelCache.java:266
static final int EXPR_CONSTANT_MIN
Definition: ModelCache.java:263
IntExpr findVarArrayConstantExpression(IntVar[] vars, long value, int type)
Var Array Constant Expressions.
Definition: ModelCache.java:196
IntExpr findExprExprConstantExpression(IntExpr var1, IntExpr var2, long constant, int type)
Expr Expr Constant Expressions.
Definition: ModelCache.java:136
IntExpr findExprExprExpression(IntExpr var1, IntExpr var2, int type)
Expr Expr Expressions.
Definition: ModelCache.java:124
static final int VAR_ARRAY_CONSTANT_EXPRESSION_MAX
Definition: ModelCache.java:291
Constraint findVarConstantConstraint(IntVar var, long value, int type)
Var Constant Constraints.
Definition: ModelCache.java:64
static final int EXPR_ABS
Definition: ModelCache.java:237
static final int VAR_ARRAY_SUM
Definition: ModelCache.java:286
void insertExprExprConstantExpression(IntExpr expression, IntExpr var1, IntExpr var2, long constant, int type)
Definition: ModelCache.java:141
static final int VAR_ARRAY_MIN
Definition: ModelCache.java:285
static final int EXPR_EXPR_IS_EQUAL
Definition: ModelCache.java:250
static final int EXPR_CONSTANT_DIVIDE
Definition: ModelCache.java:260
static final int EXPR_EXPR_CONSTANT_CONDITIONAL
Definition: ModelCache.java:255
void insertExprExpression(IntExpr expression, IntExpr expr, int type)
Definition: ModelCache.java:105
IntExpr findVarConstantArrayExpression(IntVar var, long[] values, int type)
Var Constant Array Expressions.
Definition: ModelCache.java:160
static final int EXPR_EXPR_PROD
Definition: ModelCache.java:243
Solver Class A solver represents the main computation engine.
Definition: Solver.java:76