ceta::state_t Class Reference

List of all members.

---

Detailed Description

State in a tree automaton.

Examples:

example1.cc.

Definition at line 777 of file ta.hh.

Public Member Functions
	state_t (const kind_t &kind, const std::string &name)
	Constructs a new state.
Friends
const kind_t &	kind (const state_t &state)
	Returns the kind of this state.
const std::string &	name (const state_t &state)
	Returns the name of this state.
bool	operator== (const state_t &lhs, const state_t &rhs)
	Returns true if lhs equals rhs.
bool	operator< (const state_t &lhs, const state_t &rhs)
	Compares states based on address of implementation.
Related Functions
(Note that these are not member functions.)
bool	operator!= (const state_t &lhs, const state_t &rhs)
	Returns true if lhs does not equal rhs.
std::ostream &	operator<< (std::ostream &o, const state_t &state)
	Writes the state's name to the output stream.
std::ostream &	operator<< (std::ostream &o, const std::set< state_t > &s)
	Writes a set of states to the output stream.

---

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

• ta.hh

---