wali::wfa::TransDuplicator Class Reference

List of all members.

Public Member Functions
	TransDuplicator (WFA &fa_, std::map< Key, Key > &dup_)
virtual	~TransDuplicator ()
virtual void	operator() (const ITrans *t)

---

Detailed Description

Used by WFA::duplicateStates Changes transition states

See also:

ConstTransFunctor

Trans

WFA

---

Constructor & Destructor Documentation

wali::wfa::TransDuplicator::TransDuplicator	(	WFA &	fa_,
		std::map< Key, Key > &	dup_
	)

virtual wali::wfa::TransDuplicator::~TransDuplicator

(

)

[virtual]

---

Member Function Documentation

void wali::wfa::TransDuplicator::operator()

(

const ITrans *

t

)

[virtual]

Implements wali::wfa::ConstTransFunctor.

References wali::wfa::ITrans::copy(), wali::wfa::ITrans::from(), wali::wfa::WFA::insert(), wali::wfa::ITrans::stack(), and wali::wfa::ITrans::to().

---

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

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