faudes::Hopcroft Class Reference

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
 Hopcroft (const Generator &rGen)
 Initialize from specified generator.
 ~Hopcroft (void)
 Destruct.
void Minimize (void)
 Hopcroft iteration (invoke this only once, needs empty blocks vector)
void Partition (Generator &rResGen)
void Partition (std::vector< StateSet > &rSubsets, std::vector< Idx > &rNewIndices)

Public Attributes

std::vector< Statestates
std::vector< Idxevents
std::vector< std::vector< Idx > > blocks
 Hopcroft algorithm data structure: vector of blocks [revision 201508 tmoor: use plain stl vectors and maintain sorting manually].
const Generatorgen
 Keep reference to argument (symbolic names etc)

Detailed Description

Definition at line 43 of file cfl_statemin.cpp.

Constructor & Destructor Documentation

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

Initialize from specified generator.

Definition at line 86 of file cfl_statemin.cpp.

faudes::Hopcroft::~Hopcroft ( void  )
inline

Destruct.

Definition at line 135 of file cfl_statemin.cpp.

Member Function Documentation

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.

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

Definition at line 261 of file cfl_statemin.cpp.

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

Definition at line 337 of file cfl_statemin.cpp.

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

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.

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

Definition at line 57 of file cfl_statemin.cpp.

const Generator* faudes::Hopcroft::gen

Keep reference to argument (symbolic names etc)

Definition at line 81 of file cfl_statemin.cpp.

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:

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen