Public Types | |
typedef boost::multi_index_container< s_shortest, boost::multi_index::indexed_by< boost::multi_index::hashed_unique< boost::multi_index::composite_key< s_shortest, BOOST_MULTI_INDEX_MEMBER(s_shortest, const hstate_t, src), > > > > | s_shortest_hash |
Public Member Functions | |
EpsilonRemoverSp (const AutomataBase< A_ > &, Auto &aut) | |
void | operator() (misc::direction_type dir) |
Classes | |
struct | add_dr |
struct | change_dist |
struct | change_rel |
struct | s_shortest |
struct | tr_t |
Definition at line 46 of file eps_removal_sp.hxx.