Awali
Another Weighted Automata library
Public Types | Public Member Functions
awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps > Struct Template Reference

#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...
 

Member Typedef Documentation

◆ automaton_t

template<typename Aut >
using awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::automaton_t = typename std::remove_cv<Aut>::type

◆ ratexpset_t

◆ state_chooser_t

template<typename Aut >
using awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::state_chooser_t = std::function<state_t(const automaton_t&)>

State selector type.

◆ weightset_t

Constructor & Destructor Documentation

◆ state_eliminator()

Member Function Documentation

◆ operator()() [1/2]

template<typename 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.

◆ operator()() [2/2]

template<typename Aut >
void awali::sttc::internal::state_eliminator< Aut, labels_are_ratexps >::operator() ( state_t  s)

Eliminate state s.


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