wali::wfa::State Class Reference

List of all members.

Public Types
typedef TransSet::iterator	iterator
typedef TransSet::const_iterator	const_iterator
Public Member Functions
	State ()
	State (Key name, sem_elem_t W)
	State (const State &st)
virtual	~State ()
virtual std::ostream &	print (std::ostream &o) const
void	addTrans (ITrans *t)
sem_elem_t &	weight ()
const sem_elem_t &	weight () const
sem_elem_t &	delta ()
Key	name () const
iterator	begin ()
iterator	end ()
const_iterator	begin () const
const_iterator	end () const
bool	eraseTrans (Key from, Key stack, Key to)
bool	eraseTrans (ITrans *t)
void	clearTransSet ()
bool	operator() (const State *a, const State *b) const
	Used for placing States in STL containers.
TransSet &	getTransSet ()
const TransSet &	getTransSet () const
Static Public Attributes
static int	numStates = 0
static const std::string	XMLTag
static const std::string	XMLInitialTag
static const std::string	XMLFinalTag
static const std::string	XMLNameTag
Protected Attributes
Key	key
sem_elem_t	se
sem_elem_t	delta_se
sem_elem_t	quasi
TransSet	transSet
	Used by WFA::prune.
int	tag
Friends
class	WFA
class	wali::wpds::WPDS
class	wali::wpds::DebugWPDS
class	wali::wpds::ewpds::EWPDS

---

Detailed Description

This class represents a state in a CA. It extends Markable so States can be in a Worklist for querying a WFA.

See also:

WFA

SemElem

---

Member Typedef Documentation

typedef TransSet::iterator wali::wfa::State::iterator

typedef TransSet::const_iterator wali::wfa::State::const_iterator

---

Constructor & Destructor Documentation

wali::wfa::State::State

(

)

References numStates.

wali::wfa::State::State	(	Key	name,
		sem_elem_t	W
	)

References wali::ref_ptr< T >::is_valid(), numStates, and wali::waliErr.

wali::wfa::State::State

(

const State &

st

)

References numStates.

wali::wfa::State::~State

(

)

[virtual]

References numStates.

---

Member Function Documentation

std::ostream & wali::wfa::State::print

(

std::ostream &

o

)

const [virtual]

overrides (implements) Printable::print method

Parameters:

o

the std::ostream this is written to

Returns:

std::ostream passed in

See also:

Printable

References wali::ref_ptr< T >::is_valid(), wali::key2str(), name(), and se.

void wali::wfa::State::addTrans

(

ITrans *

t

)

Add ITrans* t to the set of transitions that lead into this State.

References wali::wfa::TransSet::insert(), and transSet.

sem_elem_t& wali::wfa::State::weight

(

)

Return a reference to the State's weight

References se.

Referenced by wali::wfa::epr::EPA::apply(), wali::wfa::WFA::intersect(), wali::wfa::WFA::marshallState(), wali::wfa::WFA::path_summary(), and wali::wfa::WFA::setupFixpoint().

const sem_elem_t& wali::wfa::State::weight

(

)

const

References se.

sem_elem_t& wali::wfa::State::delta

(

)

Return reference to the State's delta

References delta_se.

Referenced by wali::wfa::epr::EPA::apply(), wali::wfa::WFA::path_summary(), and wali::wfa::WFA::setupFixpoint().

Key wali::wfa::State::name

(

)

const

Return the key associated with this State

References key.

Referenced by wali::wfa::epr::EPA::apply(), wali::wfa::WFA::eraseState(), wali::wfa::WFA::path_summary(), print(), wali::wfa::WFA::prune(), and wali::wfa::WFA::setupFixpoint().

iterator wali::wfa::State::begin

(

)

References wali::wfa::TransSet::begin(), and transSet.

Referenced by wali::wfa::epr::EPA::apply(), wali::wfa::WFA::eraseState(), wali::wfa::WFA::filter(), wali::wfa::WFA::path_summary(), wali::wpds::DebugWPDS::post(), wali::wpds::fwpds::SWPDS::prestar(), wali::wfa::WFA::setupFixpoint(), wali::graph::SummaryGraph::summaryPoststar(), and wali::wfa::WFA::TarjanBasicRegex().

iterator wali::wfa::State::end

(

)

References wali::wfa::TransSet::end(), and transSet.

Referenced by wali::wfa::epr::EPA::apply(), wali::wfa::WFA::eraseState(), wali::wfa::WFA::filter(), wali::wfa::WFA::path_summary(), wali::wpds::DebugWPDS::post(), wali::wpds::fwpds::SWPDS::prestar(), wali::wfa::WFA::setupFixpoint(), wali::graph::SummaryGraph::summaryPoststar(), and wali::wfa::WFA::TarjanBasicRegex().

const_iterator wali::wfa::State::begin

(

)

const

References wali::wfa::TransSet::begin(), and transSet.

const_iterator wali::wfa::State::end

(

)

const

References wali::wfa::TransSet::end(), and transSet.

bool wali::wfa::State::eraseTrans	(	Key	from,
		Key	stack,
		Key	to
	)

References wali::wfa::TransSet::erase(), and transSet.

Referenced by wali::wfa::WFA::erase().

bool wali::wfa::State::eraseTrans

(

ITrans *

t

)

References wali::wfa::TransSet::erase(), and transSet.

void wali::wfa::State::clearTransSet

(

)

References wali::wfa::TransSet::clear(), and transSet.

Referenced by wali::wfa::WFA::eraseState().

bool wali::wfa::State::operator()	(	const State *	a,
		const State *	b
	)			const

Used for placing States in STL containers.

References key.

TransSet& wali::wfa::State::getTransSet

(

)

References transSet.

Referenced by wali::wfa::WFA::for_each(), and wali::wfa::WFA::prune().

const TransSet& wali::wfa::State::getTransSet

(

)

const

References transSet.

---

Friends And Related Function Documentation

friend class WFA [friend]

friend class wali::wpds::WPDS [friend]

friend class wali::wpds::DebugWPDS [friend]

friend class wali::wpds::ewpds::EWPDS [friend]

---

Member Data Documentation

int wali::wfa::State::numStates = 0 [static]

Referenced by State(), and ~State().

const std::string wali::wfa::State::XMLTag [static]

Referenced by wali::wfa::WFA::marshallState().

const std::string wali::wfa::State::XMLInitialTag [static]

Referenced by wali::wfa::WFA::marshallState().

const std::string wali::wfa::State::XMLFinalTag [static]

Referenced by wali::wfa::WFA::marshallState().

const std::string wali::wfa::State::XMLNameTag [static]

Referenced by wali::wfa::WFA::marshallState().

Key wali::wfa::State::key [protected]

Referenced by name(), and operator()().

sem_elem_t wali::wfa::State::se [protected]

Referenced by print(), and weight().

sem_elem_t wali::wfa::State::delta_se [protected]

Referenced by delta().

sem_elem_t wali::wfa::State::quasi [protected]

TransSet wali::wfa::State::transSet [protected]

Used by WFA::prune.

Referenced by addTrans(), begin(), clearTransSet(), end(), eraseTrans(), and getTransSet().

int wali::wfa::State::tag [protected]

Referenced by wali::wfa::WFA::prune().

---

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

• Source/wali/wfa/State.hpp
• Source/wali/wfa/State.cpp