wali::regex::Concat Class Reference

List of all members.

Public Member Functions
	Concat (regex_t left, regex_t right)
virtual	~Concat ()
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	left
regex_t	right

---

Constructor & Destructor Documentation

wali::regex::Concat::Concat	(	regex_t	left,
		regex_t	right
	)

wali::regex::Concat::~Concat

(

)

[virtual]

---

Member Function Documentation

std::ostream & wali::regex::Concat::print_recurse

(

std::ostream &

o

)

const [virtual]

Implements wali::regex::Regex.

References left, and right.

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

Implements wali::regex::Regex.

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

std::ostream & wali::regex::Concat::write_dot_recurse

(

std::ostream &

o

)

const [virtual]

Implements wali::regex::Regex.

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

wali::sem_elem_t wali::regex::Concat::solve_recurse

(

)

[virtual]

Implements wali::regex::Regex.

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

void wali::regex::Concat::reset_marks

(

)

const [virtual]

Reimplemented from wali::regex::Regex.

References left, wali::Markable::marked(), right, and wali::Markable::unmark().

---

Member Data Documentation

regex_t wali::regex::Concat::left

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

regex_t wali::regex::Concat::right

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/Concat.hpp
• Source/wali/regex/Concat.cpp