![]() |
Vcsn
2.8
Be Rational
|
Spontaneous transition removal when the labelset has no one (poor guy!). More...
#include <epsilon-remover-separate.hh>
Public Member Functions | |
epsilon_remover_separate (const automaton_t &aut, bool) | |
aut_proper_t | operator() () |
aut_proper_t | get_proper () |
epsilon_remover_separate (const automaton_t &aut, bool) | |
aut_proper_t | operator() () |
aut_proper_t | get_proper () |
epsilon_remover_separate (const automaton_t &aut, bool) | |
aut_proper_t | operator() () |
aut_proper_t | get_proper () |
epsilon_remover_separate (const automaton_t &aut, bool) | |
aut_proper_t | operator() () |
aut_proper_t | get_proper () |
epsilon_remover_separate (const automaton_t &aut, bool) | |
aut_proper_t | operator() () |
aut_proper_t | get_proper () |
Private Types | |
using | automaton_t = std::remove_cv_t< Aut > |
using | aut_proper_t = fresh_automaton_t_of< automaton_t > |
using | automaton_t = std::remove_cv_t< Aut > |
using | aut_proper_t = fresh_automaton_t_of< automaton_t > |
using | automaton_t = std::remove_cv_t< Aut > |
using | aut_proper_t = fresh_automaton_t_of< automaton_t > |
using | automaton_t = std::remove_cv_t< Aut > |
using | aut_proper_t = fresh_automaton_t_of< automaton_t > |
using | automaton_t = std::remove_cv_t< Aut > |
using | aut_proper_t = fresh_automaton_t_of< automaton_t > |
Private Attributes | |
automaton_t | aut_ |
Spontaneous transition removal when the labelset has no one (poor guy!).
Definition at line 448 of file epsilon-remover-separate.hh.
|
private |
Definition at line 447 of file epsilon-remover-separate_BASE_35473.hh.
|
private |
Definition at line 447 of file epsilon-remover-separate_LOCAL_35473.hh.
|
private |
Definition at line 451 of file epsilon-remover-separate_REMOTE_35473.hh.
|
private |
Definition at line 451 of file epsilon-remover-separate.hh.
|
private |
Definition at line 456 of file epsilon-remover-separate_BACKUP_35473.hh.
|
private |
Definition at line 446 of file epsilon-remover-separate_BASE_35473.hh.
|
private |
Definition at line 446 of file epsilon-remover-separate_LOCAL_35473.hh.
|
private |
Definition at line 450 of file epsilon-remover-separate_REMOTE_35473.hh.
|
private |
Definition at line 450 of file epsilon-remover-separate.hh.
|
private |
Definition at line 455 of file epsilon-remover-separate_BACKUP_35473.hh.
|
inline |
Definition at line 453 of file epsilon-remover-separate.hh.
|
inline |
Definition at line 458 of file epsilon-remover-separate_BACKUP_35473.hh.
|
inline |
Definition at line 449 of file epsilon-remover-separate_BASE_35473.hh.
|
inline |
Definition at line 449 of file epsilon-remover-separate_LOCAL_35473.hh.
|
inline |
Definition at line 453 of file epsilon-remover-separate_REMOTE_35473.hh.
|
inline |
Definition at line 458 of file epsilon-remover-separate_BASE_35473.hh.
|
inline |
Definition at line 458 of file epsilon-remover-separate_LOCAL_35473.hh.
|
inline |
Definition at line 462 of file epsilon-remover-separate_REMOTE_35473.hh.
|
inline |
Definition at line 462 of file epsilon-remover-separate.hh.
|
inline |
Definition at line 467 of file epsilon-remover-separate_BACKUP_35473.hh.
|
inline |
Definition at line 453 of file epsilon-remover-separate_BASE_35473.hh.
References vcsn::copy().
|
inline |
Definition at line 453 of file epsilon-remover-separate_LOCAL_35473.hh.
References vcsn::copy().
|
inline |
Definition at line 457 of file epsilon-remover-separate_REMOTE_35473.hh.
References vcsn::copy().
|
inline |
Definition at line 457 of file epsilon-remover-separate.hh.
References vcsn::copy().
|
inline |
Definition at line 462 of file epsilon-remover-separate_BACKUP_35473.hh.
References vcsn::copy().
|
private |
Definition at line 468 of file epsilon-remover-separate.hh.