Specification for floating point variables.
More...
#include <varspec.hh>
Public Attributes |
Option< std::vector< double > * > | domain |
bool | introduced |
| Whether the variable was introduced in the mzn2fzn translation.
|
int | i |
| Variable index.
|
bool | alias |
| Whether the variable aliases another variable.
|
bool | assigned |
| Whether the variable is assigned.
|
Detailed Description
Specification for floating point variables.
Definition at line 115 of file varspec.hh.
Constructor & Destructor Documentation
Gecode::FlatZinc::FloatVarSpec::FloatVarSpec |
( |
Option< std::vector< double > * > & |
d, |
|
|
bool |
introduced |
|
) |
| |
|
inline |
Gecode::FlatZinc::FloatVarSpec::FloatVarSpec |
( |
bool |
b, |
|
|
bool |
introduced |
|
) |
| |
|
inline |
Gecode::FlatZinc::FloatVarSpec::FloatVarSpec |
( |
const Alias & |
eq, |
|
|
bool |
introduced |
|
) |
| |
|
inline |
Gecode::FlatZinc::FloatVarSpec::~FloatVarSpec |
( |
void |
| ) |
|
|
inline |
Member Data Documentation
Option<std::vector<double>* > Gecode::FlatZinc::FloatVarSpec::domain |
The documentation for this class was generated from the following file: