faudes::Hopcroft Class Reference

Detailed Description

Definition at line 43 of file cfl_statemin.cpp.

Classes
struct	State
	Internal representation of reverse transition relation with consecutive indexed states and events. More...

Public Member Functions
std::string	setstr (const std::set< Idx > &sset)
	plain stl set debugging output More...
	Hopcroft (const Generator &rGen)
	Initialize from specified generator. More...
	~Hopcroft (void)
	Destruct. More...
void	Minimize (void)
	Hopcroft iteration (invoke this only once, needs empty blocks vector) More...
void	Partition (Generator &rResGen)
void	Partition (std::vector< StateSet > &rSubsets, std::vector< Idx > &rNewIndices)

Public Attributes
std::vector< State >	states
std::vector< Idx >	events
std::vector< std::vector< Idx > >	blocks
	Hopcroft algorithm data structure: vector of blocks [revision 201508 tmoor: use plain stl vectors and maintain sorting manually]. More...
const Generator *	gen
	Keep reference to argument (symbolic names etc) More...

Constructor & Destructor Documentation

Hopcroft()

faudes::Hopcroft::Hopcroft ( const Generator &  rGen )

inline

Initialize from specified generator.

Definition at line 86 of file cfl_statemin.cpp.

~Hopcroft()

faudes::Hopcroft::~Hopcroft ( void  )

inline

Destruct.

Definition at line 135 of file cfl_statemin.cpp.

Member Function Documentation

Minimize()

void faudes::Hopcroft::Minimize ( void  )

inline

Hopcroft iteration (invoke this only once, needs empty blocks vector)

Definition at line 143 of file cfl_statemin.cpp.

Partition() [1/2]

void faudes::Hopcroft::Partition ( Generator &  rResGen )

inline

Definition at line 261 of file cfl_statemin.cpp.

Partition() [2/2]

void faudes::Hopcroft::Partition ( std::vector< StateSet > &  rSubsets, std::vector< Idx > &  rNewIndices  )

inline

Definition at line 337 of file cfl_statemin.cpp.

setstr()

std::string faudes::Hopcroft::setstr ( const std::set< Idx > &  sset )

inline

plain stl set debugging output

Definition at line 62 of file cfl_statemin.cpp.

Member Data Documentation

blocks

std::vector< std::vector<Idx> > faudes::Hopcroft::blocks

Hopcroft algorithm data structure: vector of blocks [revision 201508 tmoor: use plain stl vectors and maintain sorting manually].

Definition at line 76 of file cfl_statemin.cpp.

events

std::vector<Idx> faudes::Hopcroft::events

Definition at line 57 of file cfl_statemin.cpp.

gen

const Generator* faudes::Hopcroft::gen

Keep reference to argument (symbolic names etc)

Definition at line 81 of file cfl_statemin.cpp.

states

std::vector<State> faudes::Hopcroft::states

Definition at line 56 of file cfl_statemin.cpp.

---

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

• cfl_statemin.cpp