Specification for integer variables. More...

#include <varspec.hh>

Public Member Functions
	IntVarSpec (const Option< AST::SetLit * > &d, bool introduced)

	IntVarSpec (int i0, bool introduced)

	IntVarSpec (const Alias &eq, bool introduced)

	~IntVarSpec (void)

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

	VarSpec (bool introduced0)
	Constructor. More...

Public Attributes
Option< AST::SetLit * >	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 integer variables.

Definition at line 73 of file varspec.hh.

Constructor & Destructor Documentation

Gecode::FlatZinc::IntVarSpec::IntVarSpec	(	const Option< AST::SetLit * > &	d,
		bool	introduced
	)

inline

Definition at line 76 of file varspec.hh.

Gecode::FlatZinc::IntVarSpec::IntVarSpec	(	int	i0,
		bool	introduced
	)

inline

Definition at line 82 of file varspec.hh.

Gecode::FlatZinc::IntVarSpec::IntVarSpec	(	const Alias &	eq,
		bool	introduced
	)

inline

Definition at line 85 of file varspec.hh.

Gecode::FlatZinc::IntVarSpec::~IntVarSpec ( void )

inline

Definition at line 88 of file varspec.hh.

Option<AST::SetLit* > Gecode::FlatZinc::IntVarSpec::domain

Definition at line 75 of file varspec.hh.

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