Gecode::FlatZinc::BoolVarSpec Class Reference

Specification for Boolean variables. More...

#include <varspec.hh>

List of all members.

Public Member Functions
	BoolVarSpec (Option< AST::SetLit * > &d, bool introduced)
	BoolVarSpec (bool b, bool introduced)
	BoolVarSpec (const Alias &eq, bool introduced)
	~BoolVarSpec (void)
Public Attributes
Option< AST::SetLit * >	domain

---

Detailed Description

Specification for Boolean variables.

Definition at line 95 of file varspec.hh.

---

Constructor & Destructor Documentation

Gecode::FlatZinc::BoolVarSpec::BoolVarSpec	(	Option< AST::SetLit * > &	d,
		bool	introduced
	)			[inline]

Definition at line 98 of file varspec.hh.

Gecode::FlatZinc::BoolVarSpec::BoolVarSpec	(	bool	b,
		bool	introduced
	)			[inline]

Definition at line 102 of file varspec.hh.

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

Definition at line 105 of file varspec.hh.

Gecode::FlatZinc::BoolVarSpec::~BoolVarSpec

(

void

)

[inline]

Definition at line 108 of file varspec.hh.

---

Member Data Documentation

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

Definition at line 97 of file varspec.hh.

---

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

• gecode/flatzinc/varspec.hh (Revision: 10682)