wali::regex::Star Class Reference

List of all members.

Public Member Functions
	Star (regex_t child)
virtual	~Star ()
virtual std::ostream &	print_recurse (std::ostream &o) const
virtual void	to_mona_recurse (std::ostream &o, const std::string &prefix) const
virtual std::ostream &	write_dot_recurse (std::ostream &o) const
virtual wali::sem_elem_t	solve_recurse ()
virtual void	reset_marks () const
Public Attributes
regex_t	child

---

Constructor & Destructor Documentation

wali::regex::Star::Star

(

regex_t

child

)

wali::regex::Star::~Star

(

)

[virtual]

---

Member Function Documentation

std::ostream & wali::regex::Star::print_recurse

(

std::ostream &

o

)

const [virtual]

Implements wali::regex::Regex.

References child.

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

Implements wali::regex::Regex.

References child, wali::Markable::mark(), wali::Markable::marked(), and wali::regex::Regex::monaHeader().

std::ostream & wali::regex::Star::write_dot_recurse

(

std::ostream &

o

)

const [virtual]

Implements wali::regex::Regex.

References child, wali::Markable::mark(), wali::regex::Regex::write_dot_edge(), and wali::regex::Regex::write_dot_state().

wali::sem_elem_t wali::regex::Star::solve_recurse

(

)

[virtual]

Implements wali::regex::Regex.

References child, wali::ref_ptr< T >::is_valid(), wali::Markable::mark(), wali::Markable::marked(), and wali::regex::Regex::value.

void wali::regex::Star::reset_marks

(

)

const [virtual]

Reimplemented from wali::regex::Regex.

References child, wali::Markable::marked(), and wali::Markable::unmark().

---

Member Data Documentation

regex_t wali::regex::Star::child

Referenced by print_recurse(), reset_marks(), solve_recurse(), to_mona_recurse(), and write_dot_recurse().

---

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

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