faudes::Hopcroft::State Struct Reference

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.

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

Member Data Documentation

idx

Idx faudes::Hopcroft::State::idx

Definition at line 53 of file cfl_statemin.cpp.

pre

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:

• cfl_statemin.cpp