OR-Tools  8.2
Model

Detailed Description

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

Public Member Functions

 Model (const std::string &name)
 
 ~Model ()
 
IntegerVariableAddVariable (const std::string &name, const Domain &domain, bool defined)
 
IntegerVariableAddConstant (int64 value)
 
void AddConstraint (const std::string &id, std::vector< Argument > arguments, bool is_domain)
 
void AddConstraint (const std::string &id, std::vector< Argument > arguments)
 
void AddOutput (SolutionOutputSpecs output)
 
void Satisfy (std::vector< Annotation > search_annotations)
 
void Minimize (IntegerVariable *obj, std::vector< Annotation > search_annotations)
 
void Maximize (IntegerVariable *obj, std::vector< Annotation > search_annotations)
 
bool IsInconsistent () const
 
const std::vector< IntegerVariable * > & variables () const
 
const std::vector< Constraint * > & constraints () const
 
const std::vector< Annotation > & search_annotations () const
 
util::MutableVectorIteration< Annotationmutable_search_annotations ()
 
const std::vector< SolutionOutputSpecs > & output () const
 
util::MutableVectorIteration< SolutionOutputSpecsmutable_output ()
 
bool maximize () const
 
IntegerVariableobjective () const
 
void SetObjective (IntegerVariable *obj)
 
std::string DebugString () const
 
const std::string & name () const
 

Constructor & Destructor Documentation

◆ Model()

Model ( const std::string &  name)
inlineexplicit

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

◆ ~Model()

~Model ( )

Definition at line 821 of file model.cc.

Member Function Documentation

◆ AddConstant()

IntegerVariable * AddConstant ( int64  value)

Definition at line 834 of file model.cc.

◆ AddConstraint() [1/2]

void AddConstraint ( const std::string &  id,
std::vector< Argument arguments 
)

Definition at line 848 of file model.cc.

◆ AddConstraint() [2/2]

void AddConstraint ( const std::string &  id,
std::vector< Argument arguments,
bool  is_domain 
)

Definition at line 841 of file model.cc.

◆ AddOutput()

void AddOutput ( SolutionOutputSpecs  output)

Definition at line 853 of file model.cc.

◆ AddVariable()

IntegerVariable * AddVariable ( const std::string &  name,
const Domain domain,
bool  defined 
)

Definition at line 826 of file model.cc.

◆ constraints()

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

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

◆ DebugString()

std::string DebugString ( ) const

Definition at line 876 of file model.cc.

◆ IsInconsistent()

bool IsInconsistent ( ) const

Definition at line 903 of file model.cc.

◆ maximize()

bool maximize ( ) const
inline

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

◆ Maximize()

void Maximize ( IntegerVariable obj,
std::vector< Annotation search_annotations 
)

Definition at line 869 of file model.cc.

◆ Minimize()

void Minimize ( IntegerVariable obj,
std::vector< Annotation search_annotations 
)

Definition at line 862 of file model.cc.

◆ mutable_output()

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

◆ mutable_search_annotations()

util::MutableVectorIteration<Annotation> mutable_search_annotations ( )
inline

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

◆ name()

const std::string& name ( ) const
inline

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

◆ objective()

IntegerVariable* objective ( ) const
inline

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

◆ output()

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

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

◆ Satisfy()

void Satisfy ( std::vector< Annotation search_annotations)

Definition at line 857 of file model.cc.

◆ search_annotations()

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

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

◆ SetObjective()

void SetObjective ( IntegerVariable obj)
inline

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

◆ variables()

const std::vector<IntegerVariable*>& variables ( ) const
inline

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


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