Vcsn
2.3
Be Rational
|
#include <epsilon-remover-distance.hh>
Public Member Functions | |
epsilon_remover_distance (const automaton_t &aut, bool) | |
aut_proper_t | operator() () |
Private Types | |
using | automaton_t = std::remove_cv_t< Aut > |
using | aut_proper_t = fresh_automaton_t_of< automaton_t > |
Private Attributes | |
automaton_t | aut_ |
Definition at line 137 of file epsilon-remover-distance.hh.
|
private |
Definition at line 140 of file epsilon-remover-distance.hh.
|
private |
Definition at line 139 of file epsilon-remover-distance.hh.
|
inline |
Definition at line 142 of file epsilon-remover-distance.hh.
|
inline |
Definition at line 146 of file epsilon-remover-distance.hh.
References vcsn::copy().
|
private |
Definition at line 152 of file epsilon-remover-distance.hh.