C++ Reference: class ModelCache

This documentation is automatically generated.

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.
Method
Clear

Return type: virtual void

FindExprConstantExpression

Return type: virtual IntExpr*

Arguments: IntExpr* const expr, int64 value, ExprConstantExpressionType type

FindExprExprConstantExpression

Return type: virtual IntExpr*

Arguments: IntExpr* const var1, IntExpr* const var2, int64 constant, ExprExprConstantExpressionType type

FindExprExprConstraint

Return type: virtual Constraint*

Arguments: IntExpr* const expr1, IntExpr* const expr2, ExprExprConstraintType type

FindExprExpression

Return type: virtual IntExpr*

Arguments: IntExpr* const expr, ExprExpressionType type

FindExprExprExpression

Return type: virtual IntExpr*

Arguments: IntExpr* const var1, IntExpr* const var2, ExprExprExpressionType type

FindVarArrayConstantArrayExpression

Return type: virtual IntExpr*

Arguments: const std::vector<IntVar*>& vars, const std::vector<int64>& values, VarArrayConstantArrayExpressionType type

FindVarArrayConstantExpression

Return type: virtual IntExpr*

Arguments: const std::vector<IntVar*>& vars, int64 value, VarArrayConstantExpressionType type

FindVarArrayExpression

Return type: virtual IntExpr*

Arguments: const std::vector<IntVar*>& vars, VarArrayExpressionType type

FindVarConstantArrayExpression

Return type: virtual IntExpr*

Arguments: IntVar* const var, const std::vector<int64>& values, VarConstantArrayExpressionType type

FindVarConstantConstantConstraint

Return type: virtual Constraint*

Arguments: IntVar* const var, int64 value1, int64 value2, VarConstantConstantConstraintType type

FindVarConstantConstantExpression

Return type: virtual IntExpr*

Arguments: IntVar* const var, int64 value1, int64 value2, VarConstantConstantExpressionType type

FindVarConstantConstraint

Return type: virtual Constraint*

Arguments: IntVar* const var, int64 value, VarConstantConstraintType type

Var Constant Constraints.

FindVoidConstraint

Return type: virtual Constraint*

Arguments: VoidConstraintType type

InsertExprConstantExpression

Return type: virtual void

Arguments: IntExpr* const expression, IntExpr* const var, int64 value, ExprConstantExpressionType type

InsertExprExprConstantExpression

Return type: virtual void

Arguments: IntExpr* const expression, IntExpr* const var1, IntExpr* const var2, int64 constant, ExprExprConstantExpressionType type

InsertExprExprConstraint

Return type: virtual void

Arguments: Constraint* const ct, IntExpr* const expr1, IntExpr* const expr2, ExprExprConstraintType type

InsertExprExpression

Return type: virtual void

Arguments: IntExpr* const expression, IntExpr* const expr, ExprExpressionType type

InsertExprExprExpression

Return type: virtual void

Arguments: IntExpr* const expression, IntExpr* const var1, IntExpr* const var2, ExprExprExpressionType type

InsertVarArrayConstantArrayExpression

Return type: virtual void

Arguments: IntExpr* const expression, const std::vector<IntVar*>& var, const std::vector<int64>& values, VarArrayConstantArrayExpressionType type

InsertVarArrayConstantExpression

Return type: virtual void

Arguments: IntExpr* const expression, const std::vector<IntVar*>& var, int64 value, VarArrayConstantExpressionType type

InsertVarArrayExpression

Return type: virtual void

Arguments: IntExpr* const expression, const std::vector<IntVar*>& vars, VarArrayExpressionType type

InsertVarConstantArrayExpression

Return type: virtual void

Arguments: IntExpr* const expression, IntVar* const var, const std::vector<int64>& values, VarConstantArrayExpressionType type

InsertVarConstantConstantConstraint

Return type: virtual void

Arguments: Constraint* const ct, IntVar* const var, int64 value1, int64 value2, VarConstantConstantConstraintType type

InsertVarConstantConstantExpression

Return type: virtual void

Arguments: IntExpr* const expression, IntVar* const var, int64 value1, int64 value2, VarConstantConstantExpressionType type

InsertVarConstantConstraint

Return type: virtual void

Arguments: Constraint* const ct, IntVar* const var, int64 value, VarConstantConstraintType type

InsertVoidConstraint

Return type: virtual void

Arguments: Constraint* const ct, VoidConstraintType type

ModelCache

Return type: explicit

Arguments: Solver* const solver

~ModelCache

Return type: virtual

solver

Return type: Solver*