Gecode::FlatZinc::SetVarSpec Class Reference

Specification for set variables. More...

#include <varspec.hh>

List of all members.

Public Member Functions
	SetVarSpec (bool introduced, bool funcDep)
	SetVarSpec (const Option< AST::SetLit * > &v, bool introduced, bool funcDep)
	SetVarSpec (AST::SetLit *v, bool introduced, bool funcDep)
	SetVarSpec (const Alias &eq, bool introduced, bool funcDep)
	~SetVarSpec (void)
Public Attributes
Option< AST::SetLit * >	upperBound

---

Detailed Description

Specification for set variables.

Definition at line 139 of file varspec.hh.

---

Constructor & Destructor Documentation

Gecode::FlatZinc::SetVarSpec::SetVarSpec	(	bool	introduced,
		bool	funcDep
	)			[inline]

Definition at line 142 of file varspec.hh.

Gecode::FlatZinc::SetVarSpec::SetVarSpec	(	const Option< AST::SetLit * > &	v,
		bool	introduced,
		bool	funcDep
	)			[inline]

Definition at line 146 of file varspec.hh.

Gecode::FlatZinc::SetVarSpec::SetVarSpec	(	AST::SetLit *	v,
		bool	introduced,
		bool	funcDep
	)			[inline]

Definition at line 150 of file varspec.hh.

Gecode::FlatZinc::SetVarSpec::SetVarSpec	(	const Alias &	eq,
		bool	introduced,
		bool	funcDep
	)			[inline]

Definition at line 155 of file varspec.hh.

Gecode::FlatZinc::SetVarSpec::~SetVarSpec

(

void

)

[inline]

Definition at line 159 of file varspec.hh.

---

Member Data Documentation

Option<AST::SetLit*> Gecode::FlatZinc::SetVarSpec::upperBound

Definition at line 141 of file varspec.hh.

---

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

• gecode/flatzinc/varspec.hh