Generated on Sun Aug 26 2012 08:43:58 for Gecode by doxygen 1.8.1.1
Gecode::FlatZinc::FloatVarSpec Class Reference

Specification for floating point variables. More...

#include <varspec.hh>

List of all members.

Public Member Functions

 FloatVarSpec (Option< std::vector< double > * > &d, bool introduced)
 FloatVarSpec (bool b, bool introduced)
 FloatVarSpec (const Alias &eq, bool introduced)
 ~FloatVarSpec (void)
- Public Member Functions inherited from Gecode::FlatZinc::VarSpec
virtual ~VarSpec (void)
 Destructor.
 VarSpec (bool introduced0)
 Constructor.

Public Attributes

Option< std::vector< double > * > domain
- Public Attributes inherited from Gecode::FlatZinc::VarSpec
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

Definition at line 118 of file varspec.hh.

Gecode::FlatZinc::FloatVarSpec::FloatVarSpec ( bool  b,
bool  introduced 
)
inline

Definition at line 122 of file varspec.hh.

Gecode::FlatZinc::FloatVarSpec::FloatVarSpec ( const Alias eq,
bool  introduced 
)
inline

Definition at line 125 of file varspec.hh.

Gecode::FlatZinc::FloatVarSpec::~FloatVarSpec ( void  )
inline

Definition at line 128 of file varspec.hh.


Member Data Documentation

Option<std::vector<double>* > Gecode::FlatZinc::FloatVarSpec::domain

Definition at line 117 of file varspec.hh.


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