Gecode::FlatZinc::AST::Atom Class Reference

Node representing an atom More...

#include <ast.hh>

List of all members.

Public Member Functions
	Atom (const std::string &id0)
virtual void	print (std::ostream &os)
	Output string representation.
Public Attributes
std::string	id

---

Detailed Description

Node representing an atom

Definition at line 280 of file ast.hh.

---

Constructor & Destructor Documentation

Gecode::FlatZinc::AST::Atom::Atom

(

const std::string &

id0

)

[inline]

Definition at line 283 of file ast.hh.

---

Member Function Documentation

virtual void Gecode::FlatZinc::AST::Atom::print

(

std::ostream &

)

[inline, virtual]

Output string representation.

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

Definition at line 284 of file ast.hh.

---

Member Data Documentation

std::string Gecode::FlatZinc::AST::Atom::id

Definition at line 282 of file ast.hh.

---

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

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