wali::Markable Class Reference

List of all members.

Public Member Functions
	Markable ()
	Markable (const Markable &m)
Markable &	operator= (const Markable &m)
virtual	~Markable ()
virtual void	mark () const throw ()
virtual void	unmark () const throw ()
virtual bool	marked () const throw ()

---

Detailed Description

Class Markable is a mixin for worklist algorithms. Each instantiation of Markable begins in the unmarked state. A Markable's state may only be changed through mark() and unmark().

See also:

Worklist

---

Constructor & Destructor Documentation

wali::Markable::Markable

(

)

Creates a new Markable in the unmarked state

wali::Markable::Markable

(

const Markable &

m

)

This copy constructor actually acts just like the default constructor. This input Markable m is ignored. Any time a Markable is created it is "born" in the unmarked state.

Parameters:

m

is ignored

wali::Markable::~Markable

(

)

[virtual]

---

Member Function Documentation

Markable& wali::Markable::operator=

(

const Markable &

m

)

Markable::operator= has no effect. The input is ignored. This is because Markable specifies that state may only be changed by mark and unmark operations.

void wali::Markable::mark

(

)

const throw () [virtual]

Mark this

Implements wali::IMarkable.

Referenced by wali::witness::WitnessTrans::accept(), wali::witness::WitnessRule::accept(), wali::witness::WitnessMerge::accept(), wali::witness::WitnessExtend::accept(), wali::witness::Witness::accept(), wali::wfa::epr::StatePriorityWorklist::put(), wali::regex::Union::solve_recurse(), wali::regex::Star::solve_recurse(), wali::regex::Concat::solve_recurse(), wali::regex::Union::to_mona_recurse(), wali::regex::Star::to_mona_recurse(), wali::regex::Root::to_mona_recurse(), wali::regex::Concat::to_mona_recurse(), wali::regex::Union::write_dot_recurse(), wali::regex::Star::write_dot_recurse(), and wali::regex::Concat::write_dot_recurse().

void wali::Markable::unmark

(

)

const throw () [virtual]

Unmark this

Implements wali::IMarkable.

Referenced by wali::wfa::epr::EPA::apply(), wali::wfa::epr::StatePriorityWorklist::clear(), wali::wfa::epr::StatePriorityWorklist::get(), wali::witness::WitnessMerge::reset_marks(), wali::witness::WitnessExtend::reset_marks(), wali::witness::Witness::reset_marks(), wali::regex::Union::reset_marks(), wali::regex::Star::reset_marks(), wali::regex::Regex::reset_marks(), wali::regex::Concat::reset_marks(), and wali::wfa::WFA::setupFixpoint().

bool wali::Markable::marked

(

)

const throw () [virtual]

Check if this is marked.

Returns:

true if this is marked

Implements wali::IMarkable.

Referenced by wali::witness::WitnessMerge::accept(), wali::witness::WitnessExtend::accept(), wali::witness::WitnessCombine::accept(), wali::wfa::WFA::path_summary(), wali::wfa::epr::StatePriorityWorklist::put(), wali::witness::WitnessMerge::reset_marks(), wali::witness::WitnessExtend::reset_marks(), wali::witness::WitnessCombine::reset_marks(), wali::regex::Union::reset_marks(), wali::regex::Star::reset_marks(), wali::regex::Concat::reset_marks(), wali::regex::Union::solve_recurse(), wali::regex::Star::solve_recurse(), wali::regex::Concat::solve_recurse(), wali::regex::Union::to_mona_recurse(), wali::regex::Star::to_mona_recurse(), wali::regex::Root::to_mona_recurse(), and wali::regex::Concat::to_mona_recurse().

---

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

• Source/wali/Markable.hpp
• Source/wali/Markable.cpp