faudes::Hopcroft::State Struct Reference

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

Public Attributes

Idx idx
std::vector< std::vector< Idx > > pre

Detailed Description

Internal representation of reverse transition relation with consecutive indexed states and events.

Technically, re-indexing is equivalent to "pointers on original indicees" and buffers log-n searches for transitions

Definition at line 52 of file cfl_statemin.cpp.

Member Data Documentation

Idx faudes::Hopcroft::State::idx

Definition at line 53 of file cfl_statemin.cpp.

std::vector< std::vector<Idx> > faudes::Hopcroft::State::pre

Definition at line 54 of file cfl_statemin.cpp.


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

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