faudes::CompVerify::StateRef Class Reference

#include <pev_verify.h>

Public Member Functions
	StateRef (void)
virtual	~StateRef (void)
Idx	FindState (Candidate *cand)
void	InsertStateRef (Candidate *cand, Idx state)
void	DeleteStateRef (Candidate *cand)
void	ClearStateRef ()
std::map< Candidate *, Idx >::iterator	StateRefBegin ()
std::map< Candidate *, Idx >::iterator	StateRefEnd ()
Public Member Functions inherited from faudes::AttributeVoid
	AttributeVoid (void)
	AttributeVoid (const AttributeVoid &rSrcAttr)
virtual	~AttributeVoid (void)
virtual bool	IsDefault (void) const
virtual void	SetDefault (void)
virtual void	Clear (void)
Type &	operator= (const Type &rSrc)
bool	operator== (const Type &rOther) const
bool	operator!= (const Type &rOther) const
Public Member Functions inherited from faudes::Type
	Type (void)
	Type (const Type &rType)
virtual	~Type (void)
virtual Type *	New (void) const
virtual Type *	Copy (void) const
virtual const Type *	Cast (const Type *pOther) const
virtual Type &	Assign (const Type &rSrc)
Type &	operator= (const Type &rSrc)
virtual bool	Equal (const Type &rOther) const
bool	operator== (const Type &rOther) const
bool	operator!= (const Type &rOther) const
virtual void	Name (const std::string &rName)
virtual const std::string &	Name (void) const
virtual const std::string &	TypeName (void) const
void	Write (const Type *pContext=0) const
void	Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const
void	Write (const std::string &pFileName, std::ios::openmode openmode) const
void	Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
virtual void	XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const
void	XWrite (const Type *pContext=0) const
void	XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
std::string	ToString (const std::string &rLabel="", const Type *pContext=0) const
std::string	ToText (const std::string &rLabel="", const Type *pContext=0) const
void	DWrite (const Type *pContext=0) const
void	DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const
void	DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
void	SWrite (TokenWriter &rTw) const
void	SWrite (void) const
std::string	ToSText (void) const
void	Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)
void	FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0)
void	Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)

Protected Attributes
std::map< Candidate *, Idx >	mref
	mref This map links a candidate to a state index. Generally, we do not really know to which candidate automaton (i.e. raw, hidden, merged, etc) does the state index refer. However, as each step of the ce refinement do have a certain map from which type of candiate automaton to which, thus it shall not cause ambiguity. For Example, after each refinement iteration, state indices are referred to raw automata, which are further extracted to result (e.g. merged) automaton of the successive iteration More...

Additional Inherited Members
Static Public Member Functions inherited from faudes::AttributeVoid
static void	Skip (TokenReader &rTr)
Protected Member Functions inherited from faudes::AttributeVoid
void	DoAssign (const AttributeVoid &rSrcAttr)
bool	DoEqual (const AttributeVoid &rOther) const
virtual void	DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
virtual void	DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
virtual void	DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
Protected Member Functions inherited from faudes::Type
void	DoAssign (const Type &rSrc)
bool	DoEqual (const Type &rOther) const
virtual void	DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
virtual void	DoSWrite (TokenWriter &rTw) const
virtual const TypeDefinition *	TypeDefinitionp (void) const
virtual Token	XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const

Detailed Description

Definition at line 18 of file pev_verify.h.

Constructor & Destructor Documentation

StateRef()

faudes::CompVerify::StateRef::StateRef ( void  )

inline

Definition at line 21 of file pev_verify.h.

~StateRef()

virtual faudes::CompVerify::StateRef::~StateRef ( void  )

inlinevirtual

Definition at line 22 of file pev_verify.h.

Member Function Documentation

ClearStateRef()

void faudes::CompVerify::StateRef::ClearStateRef ( )

inline

Definition at line 28 of file pev_verify.h.

DeleteStateRef()

void faudes::CompVerify::StateRef::DeleteStateRef ( Candidate *  cand )

inline

Definition at line 27 of file pev_verify.h.

FindState()

Idx faudes::CompVerify::StateRef::FindState ( Candidate *  cand )

inline

Definition at line 25 of file pev_verify.h.

InsertStateRef()

void faudes::CompVerify::StateRef::InsertStateRef ( Candidate *  cand, Idx  state  )

inline

Definition at line 26 of file pev_verify.h.

StateRefBegin()

std::map<Candidate*, Idx>::iterator faudes::CompVerify::StateRef::StateRefBegin ( )

inline

Definition at line 29 of file pev_verify.h.

StateRefEnd()

std::map<Candidate*, Idx>::iterator faudes::CompVerify::StateRef::StateRefEnd ( )

inline

Definition at line 30 of file pev_verify.h.

Member Data Documentation

mref

std::map<Candidate*,Idx> faudes::CompVerify::StateRef::mref

protected

mref This map links a candidate to a state index. Generally, we do not really know to which candidate automaton (i.e. raw, hidden, merged, etc) does the state index refer. However, as each step of the ce refinement do have a certain map from which type of candiate automaton to which, thus it shall not cause ambiguity. For Example, after each refinement iteration, state indices are referred to raw automata, which are further extracted to result (e.g. merged) automaton of the successive iteration

Definition at line 41 of file pev_verify.h.

---

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

• pev_verify.h