Model

Detailed Description

Definition at line 343 of file flatzinc/model.h.

Public Member Functions
	Model (absl::string_view name)
	~Model ()
Variable *	AddVariable (absl::string_view name, const Domain &domain, bool defined)
Variable *	AddConstant (int64_t value)
Variable *	AddFloatConstant (double value)
void	AddConstraint (absl::string_view id, std::vector< Argument > arguments, bool is_domain)
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
util::MutableVectorIteration< Annotation >	mutable_search_annotations ()
const std::vector< SolutionOutputSpecs > &	output () const
util::MutableVectorIteration< SolutionOutputSpecs >	mutable_output ()
bool	maximize () const
Variable *	objective () const
void	SetObjective (Variable *obj)
std::string	DebugString () const
const std::string &	name () const

Constructor & Destructor Documentation

Model()

Model ( absl::string_view  name )

inlineexplicit

Definition at line 345 of file flatzinc/model.h.

~Model()

~Model

(

)

Definition at line 1013 of file flatzinc/model.cc.

Member Function Documentation

AddConstant()

Variable * AddConstant

(

int64_t

value

)

Definition at line 1026 of file flatzinc/model.cc.

AddConstraint() [1/2]

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

Definition at line 1047 of file flatzinc/model.cc.

AddConstraint() [2/2]

void AddConstraint	(	absl::string_view	id,
		std::vector< Argument >	arguments,
		bool	is_domain
	)

Definition at line 1040 of file flatzinc/model.cc.

AddFloatConstant()

Variable * AddFloatConstant

(

double

value

)

Definition at line 1033 of file flatzinc/model.cc.

AddOutput()

void AddOutput

(

SolutionOutputSpecs

output

)

Definition at line 1052 of file flatzinc/model.cc.

AddVariable()

Variable * AddVariable	(	absl::string_view	name,
		const Domain &	domain,
		bool	defined
	)

Definition at line 1018 of file flatzinc/model.cc.

constraints()

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

inline

Definition at line 375 of file flatzinc/model.h.

DebugString()

std::string DebugString

(

)

const

Definition at line 1075 of file flatzinc/model.cc.

IsInconsistent()

bool IsInconsistent

(

)

const

Definition at line 1102 of file flatzinc/model.cc.

maximize()

bool maximize ( ) const

inline

Definition at line 390 of file flatzinc/model.h.

Maximize()

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

Definition at line 1068 of file flatzinc/model.cc.

Minimize()

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

Definition at line 1061 of file flatzinc/model.cc.

mutable_output()

util::MutableVectorIteration<SolutionOutputSpecs> mutable_output ( )

inline

Definition at line 386 of file flatzinc/model.h.

mutable_search_annotations()

util::MutableVectorIteration<Annotation> mutable_search_annotations ( )

inline

Definition at line 380 of file flatzinc/model.h.

name()

const std::string& name ( ) const

inline

Definition at line 397 of file flatzinc/model.h.

objective()

Variable* objective ( ) const

inline

Definition at line 391 of file flatzinc/model.h.

output()

const std::vector<SolutionOutputSpecs>& output ( ) const

inline

Definition at line 384 of file flatzinc/model.h.

Satisfy()

void Satisfy

(

std::vector< Annotation >

search_annotations

)

Definition at line 1056 of file flatzinc/model.cc.

search_annotations()

const std::vector<Annotation>& search_annotations ( ) const

inline

Definition at line 376 of file flatzinc/model.h.

SetObjective()

void SetObjective ( Variable *  obj )

inline

Definition at line 392 of file flatzinc/model.h.

variables()

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

inline

Definition at line 374 of file flatzinc/model.h.

---

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

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