#include <constraint_solveri.h>

Public Types
enum	VoidConstraintType { VOID_FALSE_CONSTRAINT = 0 , VOID_TRUE_CONSTRAINT , VOID_CONSTRAINT_MAX }
enum	VarConstantConstraintType {   VAR_CONSTANT_EQUALITY = 0 , VAR_CONSTANT_GREATER_OR_EQUAL , VAR_CONSTANT_LESS_OR_EQUAL , VAR_CONSTANT_NON_EQUALITY ,   VAR_CONSTANT_CONSTRAINT_MAX }
enum	VarConstantConstantConstraintType { VAR_CONSTANT_CONSTANT_BETWEEN = 0 , VAR_CONSTANT_CONSTANT_CONSTRAINT_MAX }
enum	ExprExprConstraintType {   EXPR_EXPR_EQUALITY = 0 , EXPR_EXPR_GREATER , EXPR_EXPR_GREATER_OR_EQUAL , EXPR_EXPR_LESS ,   EXPR_EXPR_LESS_OR_EQUAL , EXPR_EXPR_NON_EQUALITY , EXPR_EXPR_CONSTRAINT_MAX }
enum	ExprExpressionType { EXPR_OPPOSITE = 0 , EXPR_ABS , EXPR_SQUARE , EXPR_EXPRESSION_MAX }
enum	ExprExprExpressionType {   EXPR_EXPR_DIFFERENCE = 0 , EXPR_EXPR_PROD , EXPR_EXPR_DIV , EXPR_EXPR_MAX ,   EXPR_EXPR_MIN , EXPR_EXPR_SUM , EXPR_EXPR_IS_LESS , EXPR_EXPR_IS_LESS_OR_EQUAL ,   EXPR_EXPR_IS_EQUAL , EXPR_EXPR_IS_NOT_EQUAL , EXPR_EXPR_EXPRESSION_MAX }
enum	ExprExprConstantExpressionType { EXPR_EXPR_CONSTANT_CONDITIONAL = 0 , EXPR_EXPR_CONSTANT_EXPRESSION_MAX }
enum	ExprConstantExpressionType {   EXPR_CONSTANT_DIFFERENCE = 0 , EXPR_CONSTANT_DIVIDE , EXPR_CONSTANT_PROD , EXPR_CONSTANT_MAX ,   EXPR_CONSTANT_MIN , EXPR_CONSTANT_SUM , EXPR_CONSTANT_IS_EQUAL , EXPR_CONSTANT_IS_NOT_EQUAL ,   EXPR_CONSTANT_IS_GREATER_OR_EQUAL , EXPR_CONSTANT_IS_LESS_OR_EQUAL , EXPR_CONSTANT_EXPRESSION_MAX }
enum	VarConstantConstantExpressionType { VAR_CONSTANT_CONSTANT_SEMI_CONTINUOUS = 0 , VAR_CONSTANT_CONSTANT_EXPRESSION_MAX }
enum	VarConstantArrayExpressionType { VAR_CONSTANT_ARRAY_ELEMENT = 0 , VAR_CONSTANT_ARRAY_EXPRESSION_MAX }
enum	VarArrayConstantArrayExpressionType { VAR_ARRAY_CONSTANT_ARRAY_SCAL_PROD = 0 , VAR_ARRAY_CONSTANT_ARRAY_EXPRESSION_MAX }
enum	VarArrayExpressionType { VAR_ARRAY_MAX = 0 , VAR_ARRAY_MIN , VAR_ARRAY_SUM , VAR_ARRAY_EXPRESSION_MAX }
enum	VarArrayConstantExpressionType { VAR_ARRAY_CONSTANT_INDEX = 0 , VAR_ARRAY_CONSTANT_EXPRESSION_MAX }

Public Member Functions
	ModelCache (Solver *solver)
virtual	~ModelCache ()
virtual void	Clear ()=0
virtual Constraint *	FindVoidConstraint (VoidConstraintType type) const =0
	Void constraints.
virtual void	InsertVoidConstraint (Constraint *ct, VoidConstraintType type)=0
virtual Constraint *	FindVarConstantConstraint (IntVar *var, int64_t value, VarConstantConstraintType type) const =0
	Var Constant Constraints.
virtual void	InsertVarConstantConstraint (Constraint *ct, IntVar *var, int64_t value, VarConstantConstraintType type)=0
virtual Constraint *	FindVarConstantConstantConstraint (IntVar *var, int64_t value1, int64_t value2, VarConstantConstantConstraintType type) const =0
	Var Constant Constant Constraints.
virtual void	InsertVarConstantConstantConstraint (Constraint *ct, IntVar *var, int64_t value1, int64_t value2, VarConstantConstantConstraintType type)=0
virtual Constraint *	FindExprExprConstraint (IntExpr *expr1, IntExpr *expr2, ExprExprConstraintType type) const =0
	Expr Expr Constraints.
virtual void	InsertExprExprConstraint (Constraint *ct, IntExpr *expr1, IntExpr *expr2, ExprExprConstraintType type)=0
virtual IntExpr *	FindExprExpression (IntExpr *expr, ExprExpressionType type) const =0
	Expr Expressions.
virtual void	InsertExprExpression (IntExpr *expression, IntExpr *expr, ExprExpressionType type)=0
virtual IntExpr *	FindExprConstantExpression (IntExpr *expr, int64_t value, ExprConstantExpressionType type) const =0
	Expr Constant Expressions.
virtual void	InsertExprConstantExpression (IntExpr *expression, IntExpr *var, int64_t value, ExprConstantExpressionType type)=0
virtual IntExpr *	FindExprExprExpression (IntExpr *var1, IntExpr *var2, ExprExprExpressionType type) const =0
	Expr Expr Expressions.
virtual void	InsertExprExprExpression (IntExpr *expression, IntExpr *var1, IntExpr *var2, ExprExprExpressionType type)=0
virtual IntExpr *	FindExprExprConstantExpression (IntExpr *var1, IntExpr *var2, int64_t constant, ExprExprConstantExpressionType type) const =0
	Expr Expr Constant Expressions.
virtual void	InsertExprExprConstantExpression (IntExpr *expression, IntExpr *var1, IntExpr *var2, int64_t constant, ExprExprConstantExpressionType type)=0
virtual IntExpr *	FindVarConstantConstantExpression (IntVar *var, int64_t value1, int64_t value2, VarConstantConstantExpressionType type) const =0
	Var Constant Constant Expressions.
virtual void	InsertVarConstantConstantExpression (IntExpr *expression, IntVar *var, int64_t value1, int64_t value2, VarConstantConstantExpressionType type)=0
virtual IntExpr *	FindVarConstantArrayExpression (IntVar *var, const std::vector< int64_t > &values, VarConstantArrayExpressionType type) const =0
	Var Constant Array Expressions.
virtual void	InsertVarConstantArrayExpression (IntExpr *expression, IntVar *var, const std::vector< int64_t > &values, VarConstantArrayExpressionType type)=0
virtual IntExpr *	FindVarArrayExpression (const std::vector< IntVar * > &vars, VarArrayExpressionType type) const =0
	Var Array Expressions.
virtual void	InsertVarArrayExpression (IntExpr *expression, const std::vector< IntVar * > &vars, VarArrayExpressionType type)=0
virtual IntExpr *	FindVarArrayConstantArrayExpression (const std::vector< IntVar * > &vars, const std::vector< int64_t > &values, VarArrayConstantArrayExpressionType type) const =0
	Var Array Constant Array Expressions.
virtual void	InsertVarArrayConstantArrayExpression (IntExpr *expression, const std::vector< IntVar * > &var, const std::vector< int64_t > &values, VarArrayConstantArrayExpressionType type)=0
virtual IntExpr *	FindVarArrayConstantExpression (const std::vector< IntVar * > &vars, int64_t value, VarArrayConstantExpressionType type) const =0
	Var Array Constant Expressions.
virtual void	InsertVarArrayConstantExpression (IntExpr *expression, const std::vector< IntVar * > &var, int64_t value, VarArrayConstantExpressionType type)=0
Solver *	solver () const

◆ ExprConstantExpressionType

◆ ExprExprConstantExpressionType

◆ ExprExprConstraintType

◆ ExprExpressionType

◆ ExprExprExpressionType

◆ VarArrayConstantArrayExpressionType

◆ VarArrayConstantExpressionType

◆ VarArrayExpressionType

◆ VarConstantArrayExpressionType

◆ VarConstantConstantConstraintType

◆ VarConstantConstantExpressionType

◆ VarConstantConstraintType

◆ VoidConstraintType

◆ ~ModelCache()

◆ Clear()

◆ FindExprConstantExpression()

◆ FindExprExprConstantExpression()

◆ FindExprExprConstraint()

◆ FindExprExpression()

◆ FindExprExprExpression()

◆ FindVarArrayConstantArrayExpression()

◆ FindVarArrayConstantExpression()

◆ FindVarArrayExpression()

◆ FindVarConstantArrayExpression()

◆ FindVarConstantConstantConstraint()

◆ FindVarConstantConstantExpression()

◆ FindVarConstantConstraint()

◆ FindVoidConstraint()

◆ InsertExprConstantExpression()

◆ InsertExprExprConstantExpression()

◆ InsertExprExprConstraint()

◆ InsertExprExpression()

◆ InsertExprExprExpression()

◆ InsertVarArrayConstantArrayExpression()

◆ InsertVarArrayConstantExpression()

◆ InsertVarArrayExpression()

◆ InsertVarConstantArrayExpression()

◆ InsertVarConstantConstantConstraint()

◆ InsertVarConstantConstantExpression()

◆ InsertVarConstantConstraint()

◆ InsertVoidConstraint()

◆ solver()

---

The documentation for this class was generated from the following files:

• ortools/constraint_solver/constraint_solveri.h
• ortools/constraint_solver/model_cache.cc