wali::regex::Root Class Reference

List of all members.

Public Member Functions
virtual	~Root ()
virtual bool	isConstant () const
virtual void	to_mona_recurse (std::ostream &o, const std::string &prefix) const
virtual std::ostream &	print_recurse (std::ostream &o) const
virtual std::ostream &	write_dot_recurse (std::ostream &o) const
virtual wali::sem_elem_t	solve_recurse ()
Static Public Member Functions
static regex_t	make (Key k, sem_elem_t se)
static regex_t	ID ()
static regex_t	NIL ()
Public Attributes
const Key	lbl

---

Constructor & Destructor Documentation

wali::regex::Root::~Root

(

)

[virtual]

---

Member Function Documentation

regex_t wali::regex::Root::make	(	Key	k,
		sem_elem_t	se
	)			[static]

References ID(), and NIL().

regex_t wali::regex::Root::ID

(

)

[static]

Reimplemented from wali::regex::Regex.

Referenced by make().

regex_t wali::regex::Root::NIL

(

)

[static]

Reimplemented from wali::regex::Regex.

Referenced by make().

bool wali::regex::Root::isConstant

(

)

const [virtual]

Reimplemented from wali::regex::Regex.

void wali::regex::Root::to_mona_recurse	(	std::ostream &	o,
		const std::string &	prefix
	)			const [virtual]

Returns:

true

Implements wali::regex::Regex.

References wali::key2str(), lbl, wali::Markable::mark(), and wali::Markable::marked().

std::ostream & wali::regex::Root::print_recurse

(

std::ostream &

o

)

const [virtual]

Implements wali::regex::Regex.

References lbl, and wali::printKey().

std::ostream & wali::regex::Root::write_dot_recurse

(

std::ostream &

o

)

const [virtual]

Implements wali::regex::Regex.

References wali::key2str(), lbl, and wali::regex::Regex::write_dot_state().

wali::sem_elem_t wali::regex::Root::solve_recurse

(

)

[virtual]

Implements wali::regex::Regex.

References wali::regex::Regex::value.

---

Member Data Documentation

const Key wali::regex::Root::lbl

Referenced by wali::regex::Regex::isOne(), wali::regex::Regex::isZero(), print_recurse(), to_mona_recurse(), and write_dot_recurse().

---

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

• Source/wali/regex/Root.hpp
• Source/wali/regex/Root.cpp