wali::wfa Namespace Reference

Namespaces
namespace	epr
Classes
class	DecoratorTrans
struct	ITransLT
struct	ITransEq
class	ITrans
class	State
class	Trans
class	TransFunctor
	< Needed by TransCopier More...
class	ConstTransFunctor
class	TransCounter
class	TransPrinter
class	TransCopier
class	TransDuplicator
class	TransDeleter
class	TransZeroWeight
class	TransDotty
class	TransMarshaller
class	StackHasher
class	TransSet
class	WeightMaker
class	KeepLeft
class	KeepRight
class	KeepBoth
class	WFA
	TODO: Should state_map_t have type HashMap< Key , ref_ptr<State> > This allows for automatic collection of States via HashMap State objects can escape the WFA (. More...