faudes::Hopcroft Class Reference

Detailed Description

Definition at line 43 of file cfl_statemin.cpp.

Classes
struct	State

Public Member Functions
std::string	setstr (const std::set< Idx > &sset)
std::string	vecstr (const std::vector< Idx > &svec)
	Hopcroft (const Generator &rGen)
	~Hopcroft (void)
void	Minimize (void)
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
const Generator *	gen

Constructor & Destructor Documentation

Hopcroft()

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

inline

Initialize from specified generator

Definition at line 99 of file cfl_statemin.cpp.

~Hopcroft()

faudes::Hopcroft::~Hopcroft ( void  )

inline

Destruct

Definition at line 148 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 156 of file cfl_statemin.cpp.

Partition() [1/2]

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

inline

Definition at line 274 of file cfl_statemin.cpp.

Partition() [2/2]

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

inline

Definition at line 350 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.

vecstr()

std::string faudes::Hopcroft::vecstr ( const std::vector< Idx > &  svec )

inline

plain stl vec debugging output

Definition at line 75 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 89 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 94 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