Java Reference

Java Reference

ModelCache.java
Go to the documentation of this file.
1/* ----------------------------------------------------------------------------
2 * This file was automatically generated by SWIG (http://www.swig.org).
3 * Version 4.0.2
4 *
5 * Do not make changes to this file unless you know what you are doing--modify
6 * the SWIG interface file instead.
7 * ----------------------------------------------------------------------------- */
8
9package com.google.ortools.constraintsolver;
10
17public class ModelCache {
18 private transient long swigCPtr;
19 protected transient boolean swigCMemOwn;
20
21 protected ModelCache(long cPtr, boolean cMemoryOwn) {
22 swigCMemOwn = cMemoryOwn;
23 swigCPtr = cPtr;
24 }
25
26 protected static long getCPtr(ModelCache obj) {
27 return (obj == null) ? 0 : obj.swigCPtr;
28 }
29
30 @SuppressWarnings("deprecation")
31 protected void finalize() {
32 delete();
33 }
34
35 public synchronized void delete() {
36 if (swigCPtr != 0) {
37 if (swigCMemOwn) {
38 swigCMemOwn = false;
39 mainJNI.delete_ModelCache(swigCPtr);
40 }
41 swigCPtr = 0;
42 }
43 }
44
45 public void clear() {
46 mainJNI.ModelCache_clear(swigCPtr, this);
47 }
48
52 public Constraint findVoidConstraint(int type) {
53 long cPtr = mainJNI.ModelCache_findVoidConstraint(swigCPtr, this, type);
54 return (cPtr == 0) ? null : new Constraint(cPtr, false);
55 }
56
57 public void insertVoidConstraint(Constraint ct, int type) {
58 mainJNI.ModelCache_insertVoidConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, type);
59 }
60
64 public Constraint findVarConstantConstraint(IntVar var, long value, int type) {
65 long cPtr = mainJNI.ModelCache_findVarConstantConstraint(swigCPtr, this, IntVar.getCPtr(var), var, value, type);
66 return (cPtr == 0) ? null : new Constraint(cPtr, false);
67 }
68
69 public void insertVarConstantConstraint(Constraint ct, IntVar var, long value, int type) {
70 mainJNI.ModelCache_insertVarConstantConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntVar.getCPtr(var), var, value, type);
71 }
72
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);
78 return (cPtr == 0) ? null : new Constraint(cPtr, false);
79 }
80
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);
83 }
84
88 public Constraint findExprExprConstraint(IntExpr expr1, IntExpr expr2, int type) {
89 long cPtr = mainJNI.ModelCache_findExprExprConstraint(swigCPtr, this, IntExpr.getCPtr(expr1), expr1, IntExpr.getCPtr(expr2), expr2, type);
90 return (cPtr == 0) ? null : new Constraint(cPtr, false);
91 }
92
93 public void insertExprExprConstraint(Constraint ct, IntExpr expr1, IntExpr expr2, int type) {
94 mainJNI.ModelCache_insertExprExprConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntExpr.getCPtr(expr1), expr1, IntExpr.getCPtr(expr2), expr2, type);
95 }
96
100 public IntExpr findExprExpression(IntExpr expr, int type) {
101 long cPtr = mainJNI.ModelCache_findExprExpression(swigCPtr, this, IntExpr.getCPtr(expr), expr, type);
102 return (cPtr == 0) ? null : new IntExpr(cPtr, false);
103 }
104
105 public void insertExprExpression(IntExpr expression, IntExpr expr, int type) {
106 mainJNI.ModelCache_insertExprExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(expr), expr, type);
107 }
108
112 public IntExpr findExprConstantExpression(IntExpr expr, long value, int type) {
113 long cPtr = mainJNI.ModelCache_findExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(expr), expr, value, type);
114 return (cPtr == 0) ? null : new IntExpr(cPtr, false);
115 }
116
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);
119 }
120
124 public IntExpr findExprExprExpression(IntExpr var1, IntExpr var2, int type) {
125 long cPtr = mainJNI.ModelCache_findExprExprExpression(swigCPtr, this, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, type);
126 return (cPtr == 0) ? null : new IntExpr(cPtr, false);
127 }
128
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);
131 }
132
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);
138 return (cPtr == 0) ? null : new IntExpr(cPtr, false);
139 }
140
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);
143 }
144
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);
150 return (cPtr == 0) ? null : new IntExpr(cPtr, false);
151 }
152
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);
155 }
156
160 public IntExpr findVarConstantArrayExpression(IntVar var, long[] values, int type) {
161 long cPtr = mainJNI.ModelCache_findVarConstantArrayExpression(swigCPtr, this, IntVar.getCPtr(var), var, values, type);
162 return (cPtr == 0) ? null : new IntExpr(cPtr, false);
163 }
164
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);
167 }
168
172 public IntExpr findVarArrayExpression(IntVar[] vars, int type) {
173 long cPtr = mainJNI.ModelCache_findVarArrayExpression(swigCPtr, this, vars, type);
174 return (cPtr == 0) ? null : new IntExpr(cPtr, false);
175 }
176
177 public void insertVarArrayExpression(IntExpr expression, IntVar[] vars, int type) {
178 mainJNI.ModelCache_insertVarArrayExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, vars, type);
179 }
180
184 public IntExpr findVarArrayConstantArrayExpression(IntVar[] vars, long[] values, int type) {
185 long cPtr = mainJNI.ModelCache_findVarArrayConstantArrayExpression(swigCPtr, this, vars, values, type);
186 return (cPtr == 0) ? null : new IntExpr(cPtr, false);
187 }
188
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);
191 }
192
196 public IntExpr findVarArrayConstantExpression(IntVar[] vars, long value, int type) {
197 long cPtr = mainJNI.ModelCache_findVarArrayConstantExpression(swigCPtr, this, vars, value, type);
198 return (cPtr == 0) ? null : new IntExpr(cPtr, false);
199 }
200
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);
203 }
204
205 public Solver solver() {
206 long cPtr = mainJNI.ModelCache_solver(swigCPtr, this);
207 return (cPtr == 0) ? null : new Solver(cPtr, false);
208 }
209
210 // VoidConstraintType
211 public final static int VOID_FALSE_CONSTRAINT = mainJNI.ModelCache_VOID_FALSE_CONSTRAINT_get();
212 public final static int VOID_TRUE_CONSTRAINT = mainJNI.ModelCache_VOID_TRUE_CONSTRAINT_get();
213 public final static int VOID_CONSTRAINT_MAX = mainJNI.ModelCache_VOID_CONSTRAINT_MAX_get();
214
215 // VarConstantConstraintType
216 public final static int VAR_CONSTANT_EQUALITY = mainJNI.ModelCache_VAR_CONSTANT_EQUALITY_get();
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();
221
222 // VarConstantConstantConstraintType
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();
225
226 // ExprExprConstraintType
227 public final static int EXPR_EXPR_EQUALITY = mainJNI.ModelCache_EXPR_EXPR_EQUALITY_get();
228 public final static int EXPR_EXPR_GREATER = mainJNI.ModelCache_EXPR_EXPR_GREATER_get();
229 public final static int EXPR_EXPR_GREATER_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_GREATER_OR_EQUAL_get();
230 public final static int EXPR_EXPR_LESS = mainJNI.ModelCache_EXPR_EXPR_LESS_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();
234
235 // ExprExpressionType
236 public final static int EXPR_OPPOSITE = mainJNI.ModelCache_EXPR_OPPOSITE_get();
237 public final static int EXPR_ABS = mainJNI.ModelCache_EXPR_ABS_get();
238 public final static int EXPR_SQUARE = mainJNI.ModelCache_EXPR_SQUARE_get();
239 public final static int EXPR_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_EXPRESSION_MAX_get();
240
241 // ExprExprExpressionType
242 public final static int EXPR_EXPR_DIFFERENCE = mainJNI.ModelCache_EXPR_EXPR_DIFFERENCE_get();
243 public final static int EXPR_EXPR_PROD = mainJNI.ModelCache_EXPR_EXPR_PROD_get();
244 public final static int EXPR_EXPR_DIV = mainJNI.ModelCache_EXPR_EXPR_DIV_get();
245 public final static int EXPR_EXPR_MAX = mainJNI.ModelCache_EXPR_EXPR_MAX_get();
246 public final static int EXPR_EXPR_MIN = mainJNI.ModelCache_EXPR_EXPR_MIN_get();
247 public final static int EXPR_EXPR_SUM = mainJNI.ModelCache_EXPR_EXPR_SUM_get();
248 public final static int EXPR_EXPR_IS_LESS = mainJNI.ModelCache_EXPR_EXPR_IS_LESS_get();
249 public final static int EXPR_EXPR_IS_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_LESS_OR_EQUAL_get();
250 public final static int EXPR_EXPR_IS_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_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();
253
254 // ExprExprConstantExpressionType
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();
257
258 // ExprConstantExpressionType
259 public final static int EXPR_CONSTANT_DIFFERENCE = mainJNI.ModelCache_EXPR_CONSTANT_DIFFERENCE_get();
260 public final static int EXPR_CONSTANT_DIVIDE = mainJNI.ModelCache_EXPR_CONSTANT_DIVIDE_get();
261 public final static int EXPR_CONSTANT_PROD = mainJNI.ModelCache_EXPR_CONSTANT_PROD_get();
262 public final static int EXPR_CONSTANT_MAX = mainJNI.ModelCache_EXPR_CONSTANT_MAX_get();
263 public final static int EXPR_CONSTANT_MIN = mainJNI.ModelCache_EXPR_CONSTANT_MIN_get();
264 public final static int EXPR_CONSTANT_SUM = mainJNI.ModelCache_EXPR_CONSTANT_SUM_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();
270
271 // VarConstantConstantExpressionType
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();
274
275 // VarConstantArrayExpressionType
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();
278
279 // VarArrayConstantArrayExpressionType
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();
282
283 // VarArrayExpressionType
284 public final static int VAR_ARRAY_MAX = mainJNI.ModelCache_VAR_ARRAY_MAX_get();
285 public final static int VAR_ARRAY_MIN = mainJNI.ModelCache_VAR_ARRAY_MIN_get();
286 public final static int VAR_ARRAY_SUM = mainJNI.ModelCache_VAR_ARRAY_SUM_get();
287 public final static int VAR_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_EXPRESSION_MAX_get();
288
289 // VarArrayConstantExpressionType
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();
292
293}
The class IntExpr is the base of all integer expressions in constraint programming.
Definition: IntExpr.java:20
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
void insertVarConstantConstantExpression(IntExpr expression, IntVar var, long value1, long value2, int type)
void insertVarArrayConstantArrayExpression(IntExpr expression, IntVar[] var, long[] values, int type)
void insertVarConstantConstraint(Constraint ct, IntVar var, long value, int type)
Definition: ModelCache.java:69
IntExpr findVarConstantConstantExpression(IntVar var, long value1, long value2, int type)
Var Constant Constant Expressions.
void insertVarArrayExpression(IntExpr expression, IntVar[] vars, int type)
void insertVoidConstraint(Constraint ct, int type)
Definition: ModelCache.java:57
IntExpr findExprExpression(IntExpr expr, int type)
Expr Expressions.
void insertVarConstantArrayExpression(IntExpr expression, IntVar var, long[] values, int type)
IntExpr findVarArrayExpression(IntVar[] vars, int type)
Var Array Expressions.
ModelCache(long cPtr, boolean cMemoryOwn)
Definition: ModelCache.java:21
void insertVarConstantConstantConstraint(Constraint ct, IntVar var, long value1, long value2, int type)
Definition: ModelCache.java:81
void insertExprExprConstraint(Constraint ct, IntExpr expr1, IntExpr expr2, int type)
Definition: ModelCache.java:93
void insertVarArrayConstantExpression(IntExpr expression, IntVar[] var, long value, int type)
Constraint findVarConstantConstantConstraint(IntVar var, long value1, long value2, int type)
Var Constant Constant Constraints.
Definition: ModelCache.java:76
IntExpr findVarArrayConstantArrayExpression(IntVar[] vars, long[] values, int type)
Var Array Constant Array Expressions.
void insertExprExprExpression(IntExpr expression, IntExpr var1, IntExpr var2, int type)
void insertExprConstantExpression(IntExpr expression, IntExpr var, long value, int type)
Constraint findVoidConstraint(int type)
Void constraints.
Definition: ModelCache.java:52
IntExpr findExprConstantExpression(IntExpr expr, long value, int type)
Expr Constant Expressions.
IntExpr findVarArrayConstantExpression(IntVar[] vars, long value, int type)
Var Array Constant Expressions.
IntExpr findExprExprConstantExpression(IntExpr var1, IntExpr var2, long constant, int type)
Expr Expr Constant Expressions.
IntExpr findExprExprExpression(IntExpr var1, IntExpr var2, int type)
Expr Expr Expressions.
Constraint findVarConstantConstraint(IntVar var, long value, int type)
Var Constant Constraints.
Definition: ModelCache.java:64
void insertExprExprConstantExpression(IntExpr expression, IntExpr var1, IntExpr var2, long constant, int type)
void insertExprExpression(IntExpr expression, IntExpr expr, int type)
IntExpr findVarConstantArrayExpression(IntVar var, long[] values, int type)
Var Constant Array Expressions.
Solver Class A solver represents the main computation engine.
Definition: Solver.java:73