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.1
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 }
IntExpr findExprExprExpression(IntExpr var1, IntExpr var2, int type)
Expr Expr Expressions.
void insertExprExprConstantExpression(IntExpr expression, IntExpr var1, IntExpr var2, long constant, int type)
A constraint is the main modeling object.
static final int EXPR_EXPR_SUM
IntExpr findVarArrayExpression(IntVar[] vars, int type)
Var Array Expressions.
static final int VAR_ARRAY_MIN
static final int VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX
static final int EXPR_EXPR_GREATER
IntExpr findVarArrayConstantExpression(IntVar[] vars, long value, int type)
Var Array Constant Expressions.
static final int EXPR_EXPR_CONSTANT_EXPRESSION_MAX
IntExpr findVarConstantArrayExpression(IntVar var, long[] values, int type)
Var Constant Array Expressions.
static final int EXPR_EXPR_LESS_OR_EQUAL
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)
static final int EXPR_CONSTANT_IS_LESS_OR_EQUAL
static final int VOID_TRUE_CONSTRAINT
static final int VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX
void insertExprExpression(IntExpr expression, IntExpr expr, int type)
static final int EXPR_CONSTANT_DIVIDE
static final int VAR_CONSTANT_NON_EQUALITY
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
static final int EXPR_CONSTANT_DIFFERENCE
static final int VAR_CONSTANT_CONSTANT_EXPRESSION_MAX
static final int EXPR_OPPOSITE
IntExpr findExprExprConstantExpression(IntExpr var1, IntExpr var2, long constant, int type)
Expr Expr Constant Expressions.
Solver solver()
static final int VOID_FALSE_CONSTRAINT
static final int VAR_CONSTANT_EQUALITY
static final int VAR_CONSTANT_ARRAY_ELEMENT
static final int VAR_ARRAY_CONSTANT_EXPRESSION_MAX
ModelCache(long cPtr, boolean cMemoryOwn)
Definition: ModelCache.java:18
static final int EXPR_CONSTANT_EXPRESSION_MAX
Constraint findVoidConstraint(int type)
Void constraints.
Definition: ModelCache.java:49
IntExpr findVarArrayConstantArrayExpression(IntVar[] vars, long[] values, int type)
Var Array Constant Array Expressions.
IntExpr findExprExpression(IntExpr expr, int type)
Expr Expressions.
Definition: ModelCache.java:97
static final int EXPR_EXPRESSION_MAX
void insertVarConstantConstantExpression(IntExpr expression, IntVar var, long value1, long value2, int type)
IntExpr findVarConstantConstantExpression(IntVar var, long value1, long value2, int type)
Var Constant Constant Expressions.
void insertVoidConstraint(Constraint ct, int type)
Definition: ModelCache.java:54
static final int VAR_ARRAY_EXPRESSION_MAX
static final int VAR_ARRAY_SUM
static final int EXPR_CONSTANT_IS_EQUAL
static final int EXPR_CONSTANT_IS_GREATER_OR_EQUAL
Constraint findVarConstantConstraint(IntVar var, long value, int type)
Var Constant Constraints.
Definition: ModelCache.java:61
static final int EXPR_EXPR_MAX
static final int EXPR_EXPR_CONSTANT_CONDITIONAL
static final int VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD
static final int EXPR_EXPR_DIFFERENCE
static final int VAR_CONSTANT_GREATER_OR_EQUAL
static final int EXPR_EXPR_LESS
void insertExprExprExpression(IntExpr expression, IntExpr var1, IntExpr var2, int type)
static final int EXPR_EXPR_EQUALITY
void insertVarArrayExpression(IntExpr expression, IntVar[] vars, int type)
static final int EXPR_CONSTANT_IS_NOT_EQUAL
static final int VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS
static final int VAR_ARRAY_MAX
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.
static final int EXPR_CONSTANT_SUM
static final int EXPR_EXPR_IS_NOT_EQUAL
void insertVarConstantArrayExpression(IntExpr expression, IntVar var, long[] values, int type)
static final int EXPR_EXPR_MIN
static final int EXPR_EXPR_CONSTRAINT_MAX
static final int EXPR_EXPR_EXPRESSION_MAX
static final int EXPR_EXPR_IS_LESS_OR_EQUAL
static final int VOID_CONSTRAINT_MAX
static final int VAR_ARRAY_CONSTANT_INDEX
static final int EXPR_ABS
static final int EXPR_SQUARE
static final int EXPR_EXPR_NON_EQUALITY
void clear()
Definition: ModelCache.java:42
static final int EXPR_EXPR_GREATER_OR_EQUAL
static final int EXPR_EXPR_DIV
static final int EXPR_CONSTANT_MAX
static final int VAR_CONSTANT_LESS_OR_EQUAL
void insertVarArrayConstantArrayExpression(IntExpr expression, IntVar[] var, long[] values, int type)
static final int VAR_CONSTANT_CONSTANT_BETWEEN
Constraint findExprExprConstraint(IntExpr expr1, IntExpr expr2, int type)
Expr Expr Constraints.
Definition: ModelCache.java:85
static final int EXPR_EXPR_IS_EQUAL
static final int VAR_CONSTANT_CONSTRAINT_MAX
static final int EXPR_CONSTANT_MIN
static final int EXPR_EXPR_IS_LESS
static final int EXPR_CONSTANT_PROD
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
void insertVarArrayConstantExpression(IntExpr expression, IntVar[] var, long value, int type)