Specification for floating point variables.
More...
#include <varspec.hh>
|
Option< std::pair< double, double > > | domain |
|
int | i |
| Variable index.
|
|
bool | alias |
| Whether the variable aliases another variable.
|
|
bool | assigned |
| Whether the variable is assigned.
|
|
bool | introduced |
| Whether the variable was introduced in the mzn2fzn translation.
|
|
bool | funcDep |
| Whether the variable functionally depends on another variable.
|
|
Specification for floating point variables.
Definition at line 119 of file varspec.hh.
◆ FloatVarSpec() [1/3]
Gecode::FlatZinc::FloatVarSpec::FloatVarSpec |
( |
Option< std::pair< double, double > > & | d, |
|
|
bool | introduced, |
|
|
bool | funcDep ) |
|
inline |
◆ FloatVarSpec() [2/3]
Gecode::FlatZinc::FloatVarSpec::FloatVarSpec |
( |
double | d, |
|
|
bool | introduced, |
|
|
bool | funcDep ) |
|
inline |
◆ FloatVarSpec() [3/3]
Gecode::FlatZinc::FloatVarSpec::FloatVarSpec |
( |
const Alias & | eq, |
|
|
bool | introduced, |
|
|
bool | funcDep ) |
|
inline |
◆ domain
Option<std::pair<double,double> > Gecode::FlatZinc::FloatVarSpec::domain |
The documentation for this class was generated from the following file: