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.0
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 
9 package com.google.ortools.constraintsolver;
10 
14 public class ModelCache {
15  private transient long swigCPtr;
16  protected transient boolean swigCMemOwn;
17 
18  protected ModelCache(long cPtr, boolean cMemoryOwn) {
19  swigCMemOwn = cMemoryOwn;
20  swigCPtr = cPtr;
21  }
22 
23  protected static long getCPtr(ModelCache obj) {
24  return (obj == null) ? 0 : obj.swigCPtr;
25  }
26 
27  @SuppressWarnings("deprecation")
28  protected void finalize() {
29  delete();
30  }
31 
32  public synchronized void delete() {
33  if (swigCPtr != 0) {
34  if (swigCMemOwn) {
35  swigCMemOwn = false;
36  mainJNI.delete_ModelCache(swigCPtr);
37  }
38  swigCPtr = 0;
39  }
40  }
41 
42  public void clear() {
43  mainJNI.ModelCache_clear(swigCPtr, this);
44  }
45 
49  public Constraint findVoidConstraint(int type) {
50  long cPtr = mainJNI.ModelCache_findVoidConstraint(swigCPtr, this, type);
51  return (cPtr == 0) ? null : new Constraint(cPtr, false);
52  }
53 
54  public void insertVoidConstraint(Constraint ct, int type) {
55  mainJNI.ModelCache_insertVoidConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, type);
56  }
57 
61  public Constraint findVarConstantConstraint(IntVar var, long value, int type) {
62  long cPtr = mainJNI.ModelCache_findVarConstantConstraint(swigCPtr, this, IntVar.getCPtr(var), var, value, type);
63  return (cPtr == 0) ? null : new Constraint(cPtr, false);
64  }
65 
66  public void insertVarConstantConstraint(Constraint ct, IntVar var, long value, int type) {
67  mainJNI.ModelCache_insertVarConstantConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntVar.getCPtr(var), var, value, type);
68  }
69 
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);
75  return (cPtr == 0) ? null : new Constraint(cPtr, false);
76  }
77 
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);
80  }
81 
85  public Constraint findExprExprConstraint(IntExpr expr1, IntExpr expr2, int type) {
86  long cPtr = mainJNI.ModelCache_findExprExprConstraint(swigCPtr, this, IntExpr.getCPtr(expr1), expr1, IntExpr.getCPtr(expr2), expr2, type);
87  return (cPtr == 0) ? null : new Constraint(cPtr, false);
88  }
89 
90  public void insertExprExprConstraint(Constraint ct, IntExpr expr1, IntExpr expr2, int type) {
91  mainJNI.ModelCache_insertExprExprConstraint(swigCPtr, this, Constraint.getCPtr(ct), ct, IntExpr.getCPtr(expr1), expr1, IntExpr.getCPtr(expr2), expr2, type);
92  }
93 
97  public IntExpr findExprExpression(IntExpr expr, int type) {
98  long cPtr = mainJNI.ModelCache_findExprExpression(swigCPtr, this, IntExpr.getCPtr(expr), expr, type);
99  return (cPtr == 0) ? null : new IntExpr(cPtr, false);
100  }
101 
102  public void insertExprExpression(IntExpr expression, IntExpr expr, int type) {
103  mainJNI.ModelCache_insertExprExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, IntExpr.getCPtr(expr), expr, type);
104  }
105 
109  public IntExpr findExprConstantExpression(IntExpr expr, long value, int type) {
110  long cPtr = mainJNI.ModelCache_findExprConstantExpression(swigCPtr, this, IntExpr.getCPtr(expr), expr, value, type);
111  return (cPtr == 0) ? null : new IntExpr(cPtr, false);
112  }
113 
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);
116  }
117 
121  public IntExpr findExprExprExpression(IntExpr var1, IntExpr var2, int type) {
122  long cPtr = mainJNI.ModelCache_findExprExprExpression(swigCPtr, this, IntExpr.getCPtr(var1), var1, IntExpr.getCPtr(var2), var2, type);
123  return (cPtr == 0) ? null : new IntExpr(cPtr, false);
124  }
125 
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);
128  }
129 
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);
135  return (cPtr == 0) ? null : new IntExpr(cPtr, false);
136  }
137 
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);
140  }
141 
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);
147  return (cPtr == 0) ? null : new IntExpr(cPtr, false);
148  }
149 
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);
152  }
153 
157  public IntExpr findVarConstantArrayExpression(IntVar var, long[] values, int type) {
158  long cPtr = mainJNI.ModelCache_findVarConstantArrayExpression(swigCPtr, this, IntVar.getCPtr(var), var, values, type);
159  return (cPtr == 0) ? null : new IntExpr(cPtr, false);
160  }
161 
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);
164  }
165 
169  public IntExpr findVarArrayExpression(IntVar[] vars, int type) {
170  long cPtr = mainJNI.ModelCache_findVarArrayExpression(swigCPtr, this, vars, type);
171  return (cPtr == 0) ? null : new IntExpr(cPtr, false);
172  }
173 
174  public void insertVarArrayExpression(IntExpr expression, IntVar[] vars, int type) {
175  mainJNI.ModelCache_insertVarArrayExpression(swigCPtr, this, IntExpr.getCPtr(expression), expression, vars, type);
176  }
177 
181  public IntExpr findVarArrayConstantArrayExpression(IntVar[] vars, long[] values, int type) {
182  long cPtr = mainJNI.ModelCache_findVarArrayConstantArrayExpression(swigCPtr, this, vars, values, type);
183  return (cPtr == 0) ? null : new IntExpr(cPtr, false);
184  }
185 
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);
188  }
189 
193  public IntExpr findVarArrayConstantExpression(IntVar[] vars, long value, int type) {
194  long cPtr = mainJNI.ModelCache_findVarArrayConstantExpression(swigCPtr, this, vars, value, type);
195  return (cPtr == 0) ? null : new IntExpr(cPtr, false);
196  }
197 
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);
200  }
201 
202  public Solver solver() {
203  long cPtr = mainJNI.ModelCache_solver(swigCPtr, this);
204  return (cPtr == 0) ? null : new Solver(cPtr, false);
205  }
206 
207  // VoidConstraintType
208  public final static int VOID_FALSE_CONSTRAINT = mainJNI.ModelCache_VOID_FALSE_CONSTRAINT_get();
209  public final static int VOID_TRUE_CONSTRAINT = mainJNI.ModelCache_VOID_TRUE_CONSTRAINT_get();
210  public final static int VOID_CONSTRAINT_MAX = mainJNI.ModelCache_VOID_CONSTRAINT_MAX_get();
211 
212  // VarConstantConstraintType
213  public final static int VAR_CONSTANT_EQUALITY = mainJNI.ModelCache_VAR_CONSTANT_EQUALITY_get();
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();
218 
219  // VarConstantConstantConstraintType
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();
222 
223  // ExprExprConstraintType
224  public final static int EXPR_EXPR_EQUALITY = mainJNI.ModelCache_EXPR_EXPR_EQUALITY_get();
225  public final static int EXPR_EXPR_GREATER = mainJNI.ModelCache_EXPR_EXPR_GREATER_get();
226  public final static int EXPR_EXPR_GREATER_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_GREATER_OR_EQUAL_get();
227  public final static int EXPR_EXPR_LESS = mainJNI.ModelCache_EXPR_EXPR_LESS_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();
231 
232  // ExprExpressionType
233  public final static int EXPR_OPPOSITE = mainJNI.ModelCache_EXPR_OPPOSITE_get();
234  public final static int EXPR_ABS = mainJNI.ModelCache_EXPR_ABS_get();
235  public final static int EXPR_SQUARE = mainJNI.ModelCache_EXPR_SQUARE_get();
236  public final static int EXPR_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_EXPRESSION_MAX_get();
237 
238  // ExprExprExpressionType
239  public final static int EXPR_EXPR_DIFFERENCE = mainJNI.ModelCache_EXPR_EXPR_DIFFERENCE_get();
240  public final static int EXPR_EXPR_PROD = mainJNI.ModelCache_EXPR_EXPR_PROD_get();
241  public final static int EXPR_EXPR_DIV = mainJNI.ModelCache_EXPR_EXPR_DIV_get();
242  public final static int EXPR_EXPR_MAX = mainJNI.ModelCache_EXPR_EXPR_MAX_get();
243  public final static int EXPR_EXPR_MIN = mainJNI.ModelCache_EXPR_EXPR_MIN_get();
244  public final static int EXPR_EXPR_SUM = mainJNI.ModelCache_EXPR_EXPR_SUM_get();
245  public final static int EXPR_EXPR_IS_LESS = mainJNI.ModelCache_EXPR_EXPR_IS_LESS_get();
246  public final static int EXPR_EXPR_IS_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_LESS_OR_EQUAL_get();
247  public final static int EXPR_EXPR_IS_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_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();
250 
251  // ExprExprConstantExpressionType
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();
254 
255  // ExprConstantExpressionType
256  public final static int EXPR_CONSTANT_DIFFERENCE = mainJNI.ModelCache_EXPR_CONSTANT_DIFFERENCE_get();
257  public final static int EXPR_CONSTANT_DIVIDE = mainJNI.ModelCache_EXPR_CONSTANT_DIVIDE_get();
258  public final static int EXPR_CONSTANT_PROD = mainJNI.ModelCache_EXPR_CONSTANT_PROD_get();
259  public final static int EXPR_CONSTANT_MAX = mainJNI.ModelCache_EXPR_CONSTANT_MAX_get();
260  public final static int EXPR_CONSTANT_MIN = mainJNI.ModelCache_EXPR_CONSTANT_MIN_get();
261  public final static int EXPR_CONSTANT_SUM = mainJNI.ModelCache_EXPR_CONSTANT_SUM_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();
267 
268  // VarConstantConstantExpressionType
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();
271 
272  // VarConstantArrayExpressionType
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();
275 
276  // VarArrayConstantArrayExpressionType
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();
279 
280  // VarArrayExpressionType
281  public final static int VAR_ARRAY_MAX = mainJNI.ModelCache_VAR_ARRAY_MAX_get();
282  public final static int VAR_ARRAY_MIN = mainJNI.ModelCache_VAR_ARRAY_MIN_get();
283  public final static int VAR_ARRAY_SUM = mainJNI.ModelCache_VAR_ARRAY_SUM_get();
284  public final static int VAR_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_EXPRESSION_MAX_get();
285 
286  // VarArrayConstantExpressionType
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();
289 
290 }
void insertVarConstantConstraint(Constraint ct, IntVar var, long value, int type)
Definition: ModelCache.java:66
Solver Class A solver represents the main computation engine.
Definition: Solver.java:57
ModelCache(long cPtr, boolean cMemoryOwn)
Definition: ModelCache.java:18
void insertVarArrayConstantArrayExpression(IntExpr expression, IntVar[] var, long[] values, int type)
Constraint findVarConstantConstraint(IntVar var, long value, int type)
Var Constant Constraints.
Definition: ModelCache.java:61
void insertVoidConstraint(Constraint ct, int type)
Definition: ModelCache.java:54
IntExpr findExprExprExpression(IntExpr var1, IntExpr var2, int type)
Expr Expr Expressions.
IntExpr findVarConstantArrayExpression(IntVar var, long[] values, int type)
Var Constant Array Expressions.
IntExpr findVarConstantConstantExpression(IntVar var, long value1, long value2, int type)
Var Constant Constant Expressions.
Constraint findExprExprConstraint(IntExpr expr1, IntExpr expr2, int type)
Expr Expr Constraints.
Definition: ModelCache.java:85
void insertVarArrayConstantExpression(IntExpr expression, IntVar[] var, long value, int type)
void insertVarConstantConstantConstraint(Constraint ct, IntVar var, long value1, long value2, int type)
Definition: ModelCache.java:78
IntExpr findVarArrayExpression(IntVar[] vars, int type)
Var Array Expressions.
void insertExprExprConstantExpression(IntExpr expression, IntExpr var1, IntExpr var2, long constant, int type)
Constraint findVarConstantConstantConstraint(IntVar var, long value1, long value2, int type)
Var Constant Constant Constraints.
Definition: ModelCache.java:73
void insertExprExpression(IntExpr expression, IntExpr expr, int type)
IntExpr findVarArrayConstantExpression(IntVar[] vars, long value, int type)
Var Array Constant Expressions.
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)
void insertVarArrayExpression(IntExpr expression, IntVar[] vars, int type)
Implements a complete cache for model elements: expressions and constraints.
Definition: ModelCache.java:14
IntExpr findExprExprConstantExpression(IntExpr var1, IntExpr var2, long constant, int type)
Expr Expr Constant Expressions.
IntExpr findExprExpression(IntExpr expr, int type)
Expr Expressions.
Definition: ModelCache.java:97
IntExpr findVarArrayConstantArrayExpression(IntVar[] vars, long[] values, int type)
Var Array Constant Array Expressions.
void insertVarConstantArrayExpression(IntExpr expression, IntVar var, long[] values, int type)
void insertExprExprExpression(IntExpr expression, IntExpr var1, IntExpr var2, int type)
void insertVarConstantConstantExpression(IntExpr expression, IntVar var, long value1, long value2, int type)
Constraint findVoidConstraint(int type)
Void constraints.
Definition: ModelCache.java:49
IntExpr findExprConstantExpression(IntExpr expr, long value, int type)
Expr Constant Expressions.
void insertExprExprConstraint(Constraint ct, IntExpr expr1, IntExpr expr2, int type)
Definition: ModelCache.java:90