Definition at line 315 of file flatzinc/model.h.
◆ Model()
Model |
( |
const std::string & |
name | ) |
|
|
inlineexplicit |
◆ ~Model()
◆ AddConstant()
◆ AddConstraint() [1/2]
void AddConstraint |
( |
const std::string & |
id, |
|
|
std::vector< Argument > |
arguments |
|
) |
| |
◆ AddConstraint() [2/2]
void AddConstraint |
( |
const std::string & |
id, |
|
|
std::vector< Argument > |
arguments, |
|
|
bool |
is_domain |
|
) |
| |
◆ AddOutput()
◆ AddVariable()
◆ constraints()
const std::vector< Constraint * > & constraints |
( |
| ) |
const |
|
inline |
◆ DebugString()
std::string DebugString |
( |
| ) |
const |
◆ IsInconsistent()
bool IsInconsistent |
( |
| ) |
const |
◆ maximize()
◆ Maximize()
◆ Minimize()
◆ mutable_output()
◆ mutable_search_annotations()
◆ name()
const std::string & name |
( |
| ) |
const |
|
inline |
◆ objective()
◆ output()
◆ Satisfy()
void Satisfy |
( |
std::vector< Annotation > |
search_annotations | ) |
|
◆ search_annotations()
const std::vector< Annotation > & search_annotations |
( |
| ) |
const |
|
inline |
◆ SetObjective()
◆ variables()
The documentation for this class was generated from the following files: