Awali
Another Weighted Automata library
|
#include <aut_to_exp.hh>
Public Types | |
using | automaton_t = typename std::remove_cv< Aut >::type |
using | ratexpset_t = labelset_t_of< automaton_t > |
using | state_chooser_t = std::function< state_t(const automaton_t &)> |
State selector type. More... | |
using | weightset_t = weightset_t_of< automaton_t > |
Public Member Functions | |
state_eliminator (automaton_t &aut) | |
void | operator() (const state_chooser_t &next_state) |
Eliminate all the states, in the order specified by next_state. More... | |
void | operator() (state_t s) |
Eliminate state s. More... | |
using awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::automaton_t = typename std::remove_cv<Aut>::type |
using awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::ratexpset_t = labelset_t_of<automaton_t> |
using awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::state_chooser_t = std::function<state_t(const automaton_t&)> |
State selector type.
using awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::weightset_t = weightset_t_of<automaton_t> |
awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::state_eliminator | ( | automaton_t & | aut | ) |
void awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::operator() | ( | const state_chooser_t & | next_state | ) |
Eliminate all the states, in the order specified by next_state.
void awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::operator() | ( | state_t | s | ) |
Eliminate state s.