Java Reference
Java Reference
Detailed Description
Implements a complete cache for model elements: expressions and constraints.
Caching is based on the signatures of the elements, as well as their types. This class is used internally to avoid creating duplicate objects.
Definition at line 14 of file ModelCache.java.
Public Member Functions | |
| synchronized void | delete () |
| void | clear () |
| Constraint | findVoidConstraint (int type) |
| Void constraints. More... | |
| void | insertVoidConstraint (Constraint ct, int type) |
| Constraint | findVarConstantConstraint (IntVar var, long value, int type) |
| Var Constant Constraints. More... | |
| void | insertVarConstantConstraint (Constraint ct, IntVar var, long value, int type) |
| Constraint | findVarConstantConstantConstraint (IntVar var, long value1, long value2, int type) |
| Var Constant Constant Constraints. More... | |
| void | insertVarConstantConstantConstraint (Constraint ct, IntVar var, long value1, long value2, int type) |
| Constraint | findExprExprConstraint (IntExpr expr1, IntExpr expr2, int type) |
| Expr Expr Constraints. More... | |
| void | insertExprExprConstraint (Constraint ct, IntExpr expr1, IntExpr expr2, int type) |
| IntExpr | findExprExpression (IntExpr expr, int type) |
| Expr Expressions. More... | |
| void | insertExprExpression (IntExpr expression, IntExpr expr, int type) |
| IntExpr | findExprConstantExpression (IntExpr expr, long value, int type) |
| Expr Constant Expressions. More... | |
| void | insertExprConstantExpression (IntExpr expression, IntExpr var, long value, int type) |
| IntExpr | findExprExprExpression (IntExpr var1, IntExpr var2, int type) |
| Expr Expr Expressions. More... | |
| void | insertExprExprExpression (IntExpr expression, IntExpr var1, IntExpr var2, int type) |
| IntExpr | findExprExprConstantExpression (IntExpr var1, IntExpr var2, long constant, int type) |
| Expr Expr Constant Expressions. More... | |
| void | insertExprExprConstantExpression (IntExpr expression, IntExpr var1, IntExpr var2, long constant, int type) |
| IntExpr | findVarConstantConstantExpression (IntVar var, long value1, long value2, int type) |
| Var Constant Constant Expressions. More... | |
| void | insertVarConstantConstantExpression (IntExpr expression, IntVar var, long value1, long value2, int type) |
| IntExpr | findVarConstantArrayExpression (IntVar var, long[] values, int type) |
| Var Constant Array Expressions. More... | |
| void | insertVarConstantArrayExpression (IntExpr expression, IntVar var, long[] values, int type) |
| IntExpr | findVarArrayExpression (IntVar[] vars, int type) |
| Var Array Expressions. More... | |
| void | insertVarArrayExpression (IntExpr expression, IntVar[] vars, int type) |
| IntExpr | findVarArrayConstantArrayExpression (IntVar[] vars, long[] values, int type) |
| Var Array Constant Array Expressions. More... | |
| void | insertVarArrayConstantArrayExpression (IntExpr expression, IntVar[] var, long[] values, int type) |
| IntExpr | findVarArrayConstantExpression (IntVar[] vars, long value, int type) |
| Var Array Constant Expressions. More... | |
| void | insertVarArrayConstantExpression (IntExpr expression, IntVar[] var, long value, int type) |
| Solver | solver () |
Static Public Attributes | |
| static final int | VOID_FALSE_CONSTRAINT = mainJNI.ModelCache_VOID_FALSE_CONSTRAINT_get() |
| static final int | VOID_TRUE_CONSTRAINT = mainJNI.ModelCache_VOID_TRUE_CONSTRAINT_get() |
| static final int | VOID_CONSTRAINT_MAX = mainJNI.ModelCache_VOID_CONSTRAINT_MAX_get() |
| static final int | VAR_CONSTANT_EQUALITY = mainJNI.ModelCache_VAR_CONSTANT_EQUALITY_get() |
| static final int | VAR_CONSTANT_GREATER_OR_EQUAL = mainJNI.ModelCache_VAR_CONSTANT_GREATER_OR_EQUAL_get() |
| static final int | VAR_CONSTANT_LESS_OR_EQUAL = mainJNI.ModelCache_VAR_CONSTANT_LESS_OR_EQUAL_get() |
| static final int | VAR_CONSTANT_NON_EQUALITY = mainJNI.ModelCache_VAR_CONSTANT_NON_EQUALITY_get() |
| static final int | VAR_CONSTANT_CONSTRAINT_MAX = mainJNI.ModelCache_VAR_CONSTANT_CONSTRAINT_MAX_get() |
| static final int | VAR_CONSTANT_CONSTANT_BETWEEN = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_BETWEEN_get() |
| static final int | VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX_get() |
| static final int | EXPR_EXPR_EQUALITY = mainJNI.ModelCache_EXPR_EXPR_EQUALITY_get() |
| static final int | EXPR_EXPR_GREATER = mainJNI.ModelCache_EXPR_EXPR_GREATER_get() |
| static final int | EXPR_EXPR_GREATER_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_GREATER_OR_EQUAL_get() |
| static final int | EXPR_EXPR_LESS = mainJNI.ModelCache_EXPR_EXPR_LESS_get() |
| static final int | EXPR_EXPR_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_LESS_OR_EQUAL_get() |
| static final int | EXPR_EXPR_NON_EQUALITY = mainJNI.ModelCache_EXPR_EXPR_NON_EQUALITY_get() |
| static final int | EXPR_EXPR_CONSTRAINT_MAX = mainJNI.ModelCache_EXPR_EXPR_CONSTRAINT_MAX_get() |
| static final int | EXPR_OPPOSITE = mainJNI.ModelCache_EXPR_OPPOSITE_get() |
| static final int | EXPR_ABS = mainJNI.ModelCache_EXPR_ABS_get() |
| static final int | EXPR_SQUARE = mainJNI.ModelCache_EXPR_SQUARE_get() |
| static final int | EXPR_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_EXPRESSION_MAX_get() |
| static final int | EXPR_EXPR_DIFFERENCE = mainJNI.ModelCache_EXPR_EXPR_DIFFERENCE_get() |
| static final int | EXPR_EXPR_PROD = mainJNI.ModelCache_EXPR_EXPR_PROD_get() |
| static final int | EXPR_EXPR_DIV = mainJNI.ModelCache_EXPR_EXPR_DIV_get() |
| static final int | EXPR_EXPR_MAX = mainJNI.ModelCache_EXPR_EXPR_MAX_get() |
| static final int | EXPR_EXPR_MIN = mainJNI.ModelCache_EXPR_EXPR_MIN_get() |
| static final int | EXPR_EXPR_SUM = mainJNI.ModelCache_EXPR_EXPR_SUM_get() |
| static final int | EXPR_EXPR_IS_LESS = mainJNI.ModelCache_EXPR_EXPR_IS_LESS_get() |
| static final int | EXPR_EXPR_IS_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_LESS_OR_EQUAL_get() |
| static final int | EXPR_EXPR_IS_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_EQUAL_get() |
| static final int | EXPR_EXPR_IS_NOT_EQUAL = mainJNI.ModelCache_EXPR_EXPR_IS_NOT_EQUAL_get() |
| static final int | EXPR_EXPR_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_EXPR_EXPRESSION_MAX_get() |
| static final int | EXPR_EXPR_CONSTANT_CONDITIONAL = mainJNI.ModelCache_EXPR_EXPR_CONSTANT_CONDITIONAL_get() |
| static final int | EXPR_EXPR_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_EXPR_CONSTANT_EXPRESSION_MAX_get() |
| static final int | EXPR_CONSTANT_DIFFERENCE = mainJNI.ModelCache_EXPR_CONSTANT_DIFFERENCE_get() |
| static final int | EXPR_CONSTANT_DIVIDE = mainJNI.ModelCache_EXPR_CONSTANT_DIVIDE_get() |
| static final int | EXPR_CONSTANT_PROD = mainJNI.ModelCache_EXPR_CONSTANT_PROD_get() |
| static final int | EXPR_CONSTANT_MAX = mainJNI.ModelCache_EXPR_CONSTANT_MAX_get() |
| static final int | EXPR_CONSTANT_MIN = mainJNI.ModelCache_EXPR_CONSTANT_MIN_get() |
| static final int | EXPR_CONSTANT_SUM = mainJNI.ModelCache_EXPR_CONSTANT_SUM_get() |
| static final int | EXPR_CONSTANT_IS_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_EQUAL_get() |
| static final int | EXPR_CONSTANT_IS_NOT_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_NOT_EQUAL_get() |
| static final int | EXPR_CONSTANT_IS_GREATER_OR_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_GREATER_OR_EQUAL_get() |
| static final int | EXPR_CONSTANT_IS_LESS_OR_EQUAL = mainJNI.ModelCache_EXPR_CONSTANT_IS_LESS_OR_EQUAL_get() |
| static final int | EXPR_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_EXPR_CONSTANT_EXPRESSION_MAX_get() |
| static final int | VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS_get() |
| static final int | VAR_CONSTANT_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_VAR_CONSTANT_CONSTANT_EXPRESSION_MAX_get() |
| static final int | VAR_CONSTANT_ARRAY_ELEMENT = mainJNI.ModelCache_VAR_CONSTANT_ARRAY_ELEMENT_get() |
| static final int | VAR_CONSTANT_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_CONSTANT_ARRAY_EXPRESSION_MAX_get() |
| static final int | VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD_get() |
| static final int | VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX_get() |
| static final int | VAR_ARRAY_MAX = mainJNI.ModelCache_VAR_ARRAY_MAX_get() |
| static final int | VAR_ARRAY_MIN = mainJNI.ModelCache_VAR_ARRAY_MIN_get() |
| static final int | VAR_ARRAY_SUM = mainJNI.ModelCache_VAR_ARRAY_SUM_get() |
| static final int | VAR_ARRAY_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_EXPRESSION_MAX_get() |
| static final int | VAR_ARRAY_CONSTANT_INDEX = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_INDEX_get() |
| static final int | VAR_ARRAY_CONSTANT_EXPRESSION_MAX = mainJNI.ModelCache_VAR_ARRAY_CONSTANT_EXPRESSION_MAX_get() |
Protected Member Functions | |
| ModelCache (long cPtr, boolean cMemoryOwn) | |
Constructor & Destructor Documentation
◆ ModelCache()
|
inlineprotected |
Definition at line 18 of file ModelCache.java.
Member Function Documentation
◆ clear()
|
inline |
Definition at line 42 of file ModelCache.java.
◆ delete()
|
inline |
Definition at line 32 of file ModelCache.java.
◆ findExprConstantExpression()
Expr Constant Expressions.
Definition at line 109 of file ModelCache.java.
◆ findExprExprConstantExpression()
|
inline |
Expr Expr Constant Expressions.
Definition at line 133 of file ModelCache.java.
◆ findExprExprConstraint()
|
inline |
Expr Expr Constraints.
Definition at line 85 of file ModelCache.java.
◆ findExprExpression()
Expr Expressions.
Definition at line 97 of file ModelCache.java.
◆ findExprExprExpression()
Expr Expr Expressions.
Definition at line 121 of file ModelCache.java.
◆ findVarArrayConstantArrayExpression()
Var Array Constant Array Expressions.
Definition at line 181 of file ModelCache.java.
◆ findVarArrayConstantExpression()
Var Array Constant Expressions.
Definition at line 193 of file ModelCache.java.
◆ findVarArrayExpression()
Var Array Expressions.
Definition at line 169 of file ModelCache.java.
◆ findVarConstantArrayExpression()
Var Constant Array Expressions.
Definition at line 157 of file ModelCache.java.
◆ findVarConstantConstantConstraint()
|
inline |
Var Constant Constant Constraints.
Definition at line 73 of file ModelCache.java.
◆ findVarConstantConstantExpression()
Var Constant Constant Expressions.
Definition at line 145 of file ModelCache.java.
◆ findVarConstantConstraint()
|
inline |
Var Constant Constraints.
Definition at line 61 of file ModelCache.java.
◆ findVoidConstraint()
|
inline |
Void constraints.
Definition at line 49 of file ModelCache.java.
◆ insertExprConstantExpression()
Definition at line 114 of file ModelCache.java.
◆ insertExprExprConstantExpression()
|
inline |
Definition at line 138 of file ModelCache.java.
◆ insertExprExprConstraint()
|
inline |
Definition at line 90 of file ModelCache.java.
◆ insertExprExpression()
Definition at line 102 of file ModelCache.java.
◆ insertExprExprExpression()
Definition at line 126 of file ModelCache.java.
◆ insertVarArrayConstantArrayExpression()
|
inline |
Definition at line 186 of file ModelCache.java.
◆ insertVarArrayConstantExpression()
|
inline |
Definition at line 198 of file ModelCache.java.
◆ insertVarArrayExpression()
Definition at line 174 of file ModelCache.java.
◆ insertVarConstantArrayExpression()
|
inline |
Definition at line 162 of file ModelCache.java.
◆ insertVarConstantConstantConstraint()
|
inline |
Definition at line 78 of file ModelCache.java.
◆ insertVarConstantConstantExpression()
|
inline |
Definition at line 150 of file ModelCache.java.
◆ insertVarConstantConstraint()
|
inline |
Definition at line 66 of file ModelCache.java.
◆ insertVoidConstraint()
|
inline |
Definition at line 54 of file ModelCache.java.
◆ solver()
|
inline |
Definition at line 202 of file ModelCache.java.
Member Data Documentation
◆ EXPR_ABS
|
static |
Definition at line 234 of file ModelCache.java.
◆ EXPR_CONSTANT_DIFFERENCE
|
static |
Definition at line 256 of file ModelCache.java.
◆ EXPR_CONSTANT_DIVIDE
|
static |
Definition at line 257 of file ModelCache.java.
◆ EXPR_CONSTANT_EXPRESSION_MAX
|
static |
Definition at line 266 of file ModelCache.java.
◆ EXPR_CONSTANT_IS_EQUAL
|
static |
Definition at line 262 of file ModelCache.java.
◆ EXPR_CONSTANT_IS_GREATER_OR_EQUAL
|
static |
Definition at line 264 of file ModelCache.java.
◆ EXPR_CONSTANT_IS_LESS_OR_EQUAL
|
static |
Definition at line 265 of file ModelCache.java.
◆ EXPR_CONSTANT_IS_NOT_EQUAL
|
static |
Definition at line 263 of file ModelCache.java.
◆ EXPR_CONSTANT_MAX
|
static |
Definition at line 259 of file ModelCache.java.
◆ EXPR_CONSTANT_MIN
|
static |
Definition at line 260 of file ModelCache.java.
◆ EXPR_CONSTANT_PROD
|
static |
Definition at line 258 of file ModelCache.java.
◆ EXPR_CONSTANT_SUM
|
static |
Definition at line 261 of file ModelCache.java.
◆ EXPR_EXPR_CONSTANT_CONDITIONAL
|
static |
Definition at line 252 of file ModelCache.java.
◆ EXPR_EXPR_CONSTANT_EXPRESSION_MAX
|
static |
Definition at line 253 of file ModelCache.java.
◆ EXPR_EXPR_CONSTRAINT_MAX
|
static |
Definition at line 230 of file ModelCache.java.
◆ EXPR_EXPR_DIFFERENCE
|
static |
Definition at line 239 of file ModelCache.java.
◆ EXPR_EXPR_DIV
|
static |
Definition at line 241 of file ModelCache.java.
◆ EXPR_EXPR_EQUALITY
|
static |
Definition at line 224 of file ModelCache.java.
◆ EXPR_EXPR_EXPRESSION_MAX
|
static |
Definition at line 249 of file ModelCache.java.
◆ EXPR_EXPR_GREATER
|
static |
Definition at line 225 of file ModelCache.java.
◆ EXPR_EXPR_GREATER_OR_EQUAL
|
static |
Definition at line 226 of file ModelCache.java.
◆ EXPR_EXPR_IS_EQUAL
|
static |
Definition at line 247 of file ModelCache.java.
◆ EXPR_EXPR_IS_LESS
|
static |
Definition at line 245 of file ModelCache.java.
◆ EXPR_EXPR_IS_LESS_OR_EQUAL
|
static |
Definition at line 246 of file ModelCache.java.
◆ EXPR_EXPR_IS_NOT_EQUAL
|
static |
Definition at line 248 of file ModelCache.java.
◆ EXPR_EXPR_LESS
|
static |
Definition at line 227 of file ModelCache.java.
◆ EXPR_EXPR_LESS_OR_EQUAL
|
static |
Definition at line 228 of file ModelCache.java.
◆ EXPR_EXPR_MAX
|
static |
Definition at line 242 of file ModelCache.java.
◆ EXPR_EXPR_MIN
|
static |
Definition at line 243 of file ModelCache.java.
◆ EXPR_EXPR_NON_EQUALITY
|
static |
Definition at line 229 of file ModelCache.java.
◆ EXPR_EXPR_PROD
|
static |
Definition at line 240 of file ModelCache.java.
◆ EXPR_EXPR_SUM
|
static |
Definition at line 244 of file ModelCache.java.
◆ EXPR_EXPRESSION_MAX
|
static |
Definition at line 236 of file ModelCache.java.
◆ EXPR_OPPOSITE
|
static |
Definition at line 233 of file ModelCache.java.
◆ EXPR_SQUARE
|
static |
Definition at line 235 of file ModelCache.java.
◆ VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX
|
static |
Definition at line 278 of file ModelCache.java.
◆ VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD
|
static |
Definition at line 277 of file ModelCache.java.
◆ VAR_ARRAY_CONSTANT_EXPRESSION_MAX
|
static |
Definition at line 288 of file ModelCache.java.
◆ VAR_ARRAY_CONSTANT_INDEX
|
static |
Definition at line 287 of file ModelCache.java.
◆ VAR_ARRAY_EXPRESSION_MAX
|
static |
Definition at line 284 of file ModelCache.java.
◆ VAR_ARRAY_MAX
|
static |
Definition at line 281 of file ModelCache.java.
◆ VAR_ARRAY_MIN
|
static |
Definition at line 282 of file ModelCache.java.
◆ VAR_ARRAY_SUM
|
static |
Definition at line 283 of file ModelCache.java.
◆ VAR_CONSTANT_ARRAY_ELEMENT
|
static |
Definition at line 273 of file ModelCache.java.
◆ VAR_CONSTANT_ARRAY_EXPRESSION_MAX
|
static |
Definition at line 274 of file ModelCache.java.
◆ VAR_CONSTANT_CONSTANT_BETWEEN
|
static |
Definition at line 220 of file ModelCache.java.
◆ VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX
|
static |
Definition at line 221 of file ModelCache.java.
◆ VAR_CONSTANT_CONSTANT_EXPRESSION_MAX
|
static |
Definition at line 270 of file ModelCache.java.
◆ VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS
|
static |
Definition at line 269 of file ModelCache.java.
◆ VAR_CONSTANT_CONSTRAINT_MAX
|
static |
Definition at line 217 of file ModelCache.java.
◆ VAR_CONSTANT_EQUALITY
|
static |
Definition at line 213 of file ModelCache.java.
◆ VAR_CONSTANT_GREATER_OR_EQUAL
|
static |
Definition at line 214 of file ModelCache.java.
◆ VAR_CONSTANT_LESS_OR_EQUAL
|
static |
Definition at line 215 of file ModelCache.java.
◆ VAR_CONSTANT_NON_EQUALITY
|
static |
Definition at line 216 of file ModelCache.java.
◆ VOID_CONSTRAINT_MAX
|
static |
Definition at line 210 of file ModelCache.java.
◆ VOID_FALSE_CONSTRAINT
|
static |
Definition at line 208 of file ModelCache.java.
◆ VOID_TRUE_CONSTRAINT
|
static |
Definition at line 209 of file ModelCache.java.
The documentation for this class was generated from the following file: