Gecode::FlatZinc::AST::SetLit Class Reference

Set literal node More...

#include <ast.hh>

List of all members.

Public Member Functions
	SetLit (void)
	SetLit (int min0, int max0)
	SetLit (const std::vector< int > &s0)
bool	empty (void) const
virtual void	print (std::ostream &os)
	Output string representation.
Public Attributes
bool	interval
int	min
int	max
std::vector< int >	s

---

Detailed Description

Set literal node

Definition at line 165 of file ast.hh.

---

Constructor & Destructor Documentation

Gecode::FlatZinc::AST::SetLit::SetLit

(

void

)

[inline]

Definition at line 170 of file ast.hh.

Gecode::FlatZinc::AST::SetLit::SetLit	(	int	min0,
		int	max0
	)		[inline]

Definition at line 171 of file ast.hh.

Gecode::FlatZinc::AST::SetLit::SetLit

(

const std::vector< int > &

s0

)

[inline]

Definition at line 172 of file ast.hh.

---

Member Function Documentation

bool Gecode::FlatZinc::AST::SetLit::empty

(

void

)

const [inline]

Definition at line 173 of file ast.hh.

virtual void Gecode::FlatZinc::AST::SetLit::print

(

std::ostream &

)

[inline, virtual]

Output string representation.

Implements Gecode::FlatZinc::AST::Node.

Definition at line 176 of file ast.hh.

---

Member Data Documentation

bool Gecode::FlatZinc::AST::SetLit::interval

Definition at line 167 of file ast.hh.

int Gecode::FlatZinc::AST::SetLit::min

Definition at line 168 of file ast.hh.

int Gecode::FlatZinc::AST::SetLit::max

Definition at line 168 of file ast.hh.

std::vector<int> Gecode::FlatZinc::AST::SetLit::s

Definition at line 169 of file ast.hh.

---

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

• gecode/flatzinc/ast.hh (Revision: 12537)