#include <model.h>

Public Member Functions
	Model (absl::string_view name)
	~Model ()
Variable *	AddVariable (absl::string_view name, const Domain &domain, bool defined, bool set_is_fixed=false)
Variable *	AddConstant (int64_t value)
Variable *	AddFloatConstant (double value)
void	AddConstraint (absl::string_view id, std::vector< Argument > arguments, bool is_domain, bool symmetry, bool redundant)
void	AddConstraint (absl::string_view id, std::vector< Argument > arguments)
void	AddOutput (SolutionOutputSpecs output)
void	Satisfy (std::vector< Annotation > search_annotations)
void	Minimize (Variable *obj, std::vector< Annotation > search_annotations)
void	Maximize (Variable *obj, std::vector< Annotation > search_annotations)
bool	IsInconsistent () const
const std::vector< Variable * > &	variables () const
const std::vector< Constraint * > &	constraints () const
const std::vector< Annotation > &	search_annotations () const
const std::vector< SolutionOutputSpecs > &	output () const
bool	maximize () const
Variable *	objective () const
const std::vector< Variable * > &	float_objective_variables () const
const std::vector< double > &	float_objective_coefficients () const
double	float_objective_offset () const
void	SetObjective (Variable *obj)
void	ClearObjective ()
void	AddFloatingPointObjectiveTerm (Variable *var, double coeff)
void	SetFloatingPointObjectiveOffset (double offset)
std::string	DebugString () const
const std::string &	name () const

◆ ~Model()

◆ AddConstant()

◆ AddConstraint() [1/2]

◆ AddConstraint() [2/2]

◆ AddFloatConstant()

◆ AddFloatingPointObjectiveTerm()

◆ AddOutput()

◆ AddVariable()

◆ ClearObjective()

◆ constraints()

◆ DebugString()

◆ float_objective_coefficients()

◆ float_objective_offset()

◆ float_objective_variables()

◆ IsInconsistent()

◆ Maximize()

◆ maximize()

◆ Minimize()

◆ name()

◆ objective()

◆ output()

◆ Satisfy()

◆ search_annotations()

◆ SetFloatingPointObjectiveOffset()

◆ SetObjective()

◆ variables()

---

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

• ortools/flatzinc/model.h
• ortools/flatzinc/model.cc