Model Class Reference

Detailed Description

Definition at line 345 of file model.h.

#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

Constructor & Destructor Documentation

Model()

operations_research::fz::Model::Model ( absl::string_view name )

inlineexplicit

Definition at line 347 of file model.h.

~Model()

operations_research::fz::Model::~Model

(

)

Definition at line 1015 of file model.cc.

Member Function Documentation

AddConstant()

Variable * operations_research::fz::Model::AddConstant

(

int64_t

value

)

Definition at line 1032 of file model.cc.

AddConstraint() [1/2]

void operations_research::fz::Model::AddConstraint	(	absl::string_view	id,
		std::vector< Argument >	arguments )

Definition at line 1053 of file model.cc.

AddConstraint() [2/2]

void operations_research::fz::Model::AddConstraint	(	absl::string_view	id,
		std::vector< Argument >	arguments,
		bool	is_domain,
		bool	symmetry,
		bool	redundant )

Definition at line 1046 of file model.cc.

AddFloatConstant()

Variable * operations_research::fz::Model::AddFloatConstant

(

double

value

)

Definition at line 1039 of file model.cc.

AddFloatingPointObjectiveTerm()

void operations_research::fz::Model::AddFloatingPointObjectiveTerm ( Variable * var, double coeff )

inline

Definition at line 393 of file model.h.

AddOutput()

void operations_research::fz::Model::AddOutput

(

SolutionOutputSpecs

output

)

Definition at line 1058 of file model.cc.

AddVariable()

Variable * operations_research::fz::Model::AddVariable	(	absl::string_view	name,
		const Domain &	domain,
		bool	defined,
		bool	set_is_fixed = false )

Definition at line 1020 of file model.cc.

ClearObjective()

void operations_research::fz::Model::ClearObjective ( )

inline

Definition at line 392 of file model.h.

constraints()

const std::vector< Constraint * > & operations_research::fz::Model::constraints ( ) const

inline

Definition at line 377 of file model.h.

DebugString()

std::string operations_research::fz::Model::DebugString

(

)

const

Definition at line 1081 of file model.cc.

float_objective_coefficients()

const std::vector< double > & operations_research::fz::Model::float_objective_coefficients ( ) const

inline

Definition at line 387 of file model.h.

float_objective_offset()

double operations_research::fz::Model::float_objective_offset ( ) const

inline

Definition at line 390 of file model.h.

float_objective_variables()

const std::vector< Variable * > & operations_research::fz::Model::float_objective_variables ( ) const

inline

Definition at line 384 of file model.h.

IsInconsistent()

bool operations_research::fz::Model::IsInconsistent

(

)

const

Definition at line 1116 of file model.cc.

Maximize()

void operations_research::fz::Model::Maximize	(	Variable *	obj,
		std::vector< Annotation >	search_annotations )

Definition at line 1074 of file model.cc.

maximize()

bool operations_research::fz::Model::maximize ( ) const

inline

Definition at line 382 of file model.h.

Minimize()

void operations_research::fz::Model::Minimize	(	Variable *	obj,
		std::vector< Annotation >	search_annotations )

Definition at line 1067 of file model.cc.

name()

const std::string & operations_research::fz::Model::name ( ) const

inline

Definition at line 404 of file model.h.

objective()

Variable * operations_research::fz::Model::objective ( ) const

inline

Definition at line 383 of file model.h.

output()

const std::vector< SolutionOutputSpecs > & operations_research::fz::Model::output ( ) const

inline

Definition at line 381 of file model.h.

Satisfy()

void operations_research::fz::Model::Satisfy

(

std::vector< Annotation >

search_annotations

)

Definition at line 1062 of file model.cc.

search_annotations()

const std::vector< Annotation > & operations_research::fz::Model::search_annotations ( ) const

inline

Definition at line 378 of file model.h.

SetFloatingPointObjectiveOffset()

void operations_research::fz::Model::SetFloatingPointObjectiveOffset ( double offset )

inline

Definition at line 397 of file model.h.

SetObjective()

void operations_research::fz::Model::SetObjective ( Variable * obj )

inline

Definition at line 391 of file model.h.

variables()

const std::vector< Variable * > & operations_research::fz::Model::variables ( ) const

inline

Definition at line 376 of file model.h.

---

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

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