Clear | Return type: virtual void |
FindExprConstantExpression | Return type: virtual IntExpr* Arguments:
IntExpr* const expr, int64_t value,
ExprConstantExpressionType type |
FindExprExprConstantExpression | Return type: virtual IntExpr* Arguments:
IntExpr* const var1, IntExpr* const var2, int64_t 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_t>& values,
VarArrayConstantArrayExpressionType type |
FindVarArrayConstantExpression | Return type: virtual IntExpr* Arguments:
const std::vector<IntVar*>& vars, int64_t 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_t>& values,
VarConstantArrayExpressionType type |
FindVarConstantConstantConstraint | Return type: virtual Constraint* Arguments:
IntVar* const var, int64_t value1, int64_t value2,
VarConstantConstantConstraintType type |
FindVarConstantConstantExpression | Return type: virtual IntExpr* Arguments:
IntVar* const var, int64_t value1, int64_t value2,
VarConstantConstantExpressionType type |
FindVarConstantConstraint | Return type: virtual Constraint* Arguments:
IntVar* const var, int64_t 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_t value,
ExprConstantExpressionType type |
InsertExprExprConstantExpression | Return type: virtual void Arguments:
IntExpr* const expression, IntExpr* const var1, IntExpr* const var2,
int64_t 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_t>& values,
VarArrayConstantArrayExpressionType type |
InsertVarArrayConstantExpression | Return type: virtual void Arguments:
IntExpr* const expression, const std::vector<IntVar*>& var, int64_t 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_t>& values,
VarConstantArrayExpressionType type |
InsertVarConstantConstantConstraint | Return type: virtual void Arguments:
Constraint* const ct, IntVar* const var, int64_t value1, int64_t value2,
VarConstantConstantConstraintType type |
InsertVarConstantConstantExpression | Return type: virtual void Arguments:
IntExpr* const expression, IntVar* const var, int64_t value1,
int64_t value2, VarConstantConstantExpressionType type |
InsertVarConstantConstraint | Return type: virtual void Arguments: Constraint* const ct,
IntVar* const var, int64_t 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* |
