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)

Public Member Functions inherited from Gecode::FlatZinc::VarSpec
virtual	~VarSpec (void)
	Destructor. More...

	VarSpec (bool introduced0)
	Constructor. More...

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. More...

int	i
	Variable index. More...

bool	alias
	Whether the variable aliases another variable. More...

bool	assigned
	Whether the variable is assigned. More...

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.

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: