wali::regex::Union Class Reference

List of all members.

Public Member Functions
	Union ()
virtual	~Union ()
void	add (regex_t r)
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
std::list< regex_t >	children

---

Constructor & Destructor Documentation

wali::regex::Union::Union

(

)

wali::regex::Union::~Union

(

)

[virtual]

---

Member Function Documentation

void wali::regex::Union::add

(

regex_t

r

)

References children.

Referenced by wali::regex::Regex::COMBINE().

std::ostream & wali::regex::Union::print_recurse

(

std::ostream &

o

)

const [virtual]

Implements wali::regex::Regex.

References children.

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

Implements wali::regex::Regex.

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

std::ostream & wali::regex::Union::write_dot_recurse

(

std::ostream &

o

)

const [virtual]

Implements wali::regex::Regex.

References children, wali::ref_ptr< T >::is_valid(), wali::Markable::mark(), wali::regex::Regex::value, wali::regex::Regex::write_dot_edge(), and wali::regex::Regex::write_dot_state().

wali::sem_elem_t wali::regex::Union::solve_recurse

(

)

[virtual]

Implements wali::regex::Regex.

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

void wali::regex::Union::reset_marks

(

)

const [virtual]

Reimplemented from wali::regex::Regex.

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

---

Member Data Documentation

std::list<regex_t> wali::regex::Union::children

Referenced by add(), 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/Union.hpp
• Source/wali/regex/Union.cpp