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 Attributes
Option< AST::SetLit * >	domain

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.

Definition at line 75 of file varspec.hh.

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