Specification for floating point variables. More...
#include <varspec.hh>
Public Member Functions | |
FloatVarSpec (Option< std::vector< double > * > &d, bool introduced) | |
FloatVarSpec (bool b, bool introduced) | |
FloatVarSpec (const Alias &eq, bool introduced) | |
~FloatVarSpec (void) | |
![]() | |
virtual | ~VarSpec (void) |
Destructor. More... | |
VarSpec (bool introduced0) | |
Constructor. More... | |
Public Attributes | |
Option< std::vector< double > * > | domain |
![]() | |
bool | introduced |
Whether the variable was introduced in the mzn2fzn translation. More... | |
int | i |
Variable index. More... | |
bool | alias |
Whether the variable aliases another variable. More... | |
bool | assigned |
Whether the variable is assigned. More... | |
Specification for floating point variables.
Definition at line 115 of file varspec.hh.
|
inline |
Definition at line 118 of file varspec.hh.
|
inline |
Definition at line 122 of file varspec.hh.
|
inline |
Definition at line 125 of file varspec.hh.
|
inline |
Definition at line 128 of file varspec.hh.
Option<std::vector<double>* > Gecode::FlatZinc::FloatVarSpec::domain |
Definition at line 117 of file varspec.hh.