Vcsn  2.8
Be Rational
vcsn::detail::epsilon_remover_separate< Aut, false > Class Template Reference

Spontaneous transition removal when the labelset has no one (poor guy!). More...

#include <epsilon-remover-separate.hh>

Collaboration diagram for vcsn::detail::epsilon_remover_separate< Aut, false >:

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_
 

Detailed Description

template<Automaton Aut>
class vcsn::detail::epsilon_remover_separate< Aut, false >

Spontaneous transition removal when the labelset has no one (poor guy!).

Definition at line 448 of file epsilon-remover-separate.hh.

Member Typedef Documentation

◆ aut_proper_t [1/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::aut_proper_t = fresh_automaton_t_of<automaton_t>
private

Definition at line 447 of file epsilon-remover-separate_BASE_35473.hh.

◆ aut_proper_t [2/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::aut_proper_t = fresh_automaton_t_of<automaton_t>
private

Definition at line 447 of file epsilon-remover-separate_LOCAL_35473.hh.

◆ aut_proper_t [3/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::aut_proper_t = fresh_automaton_t_of<automaton_t>
private

Definition at line 451 of file epsilon-remover-separate_REMOTE_35473.hh.

◆ aut_proper_t [4/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::aut_proper_t = fresh_automaton_t_of<automaton_t>
private

Definition at line 451 of file epsilon-remover-separate.hh.

◆ aut_proper_t [5/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::aut_proper_t = fresh_automaton_t_of<automaton_t>
private

Definition at line 456 of file epsilon-remover-separate_BACKUP_35473.hh.

◆ automaton_t [1/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::automaton_t = std::remove_cv_t<Aut>
private

Definition at line 446 of file epsilon-remover-separate_BASE_35473.hh.

◆ automaton_t [2/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::automaton_t = std::remove_cv_t<Aut>
private

Definition at line 446 of file epsilon-remover-separate_LOCAL_35473.hh.

◆ automaton_t [3/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::automaton_t = std::remove_cv_t<Aut>
private

Definition at line 450 of file epsilon-remover-separate_REMOTE_35473.hh.

◆ automaton_t [4/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::automaton_t = std::remove_cv_t<Aut>
private

Definition at line 450 of file epsilon-remover-separate.hh.

◆ automaton_t [5/5]

template<Automaton Aut>
using vcsn::detail::epsilon_remover_separate< Aut, false >::automaton_t = std::remove_cv_t<Aut>
private

Definition at line 455 of file epsilon-remover-separate_BACKUP_35473.hh.

Constructor & Destructor Documentation

◆ epsilon_remover_separate() [1/5]

template<Automaton Aut>
vcsn::detail::epsilon_remover_separate< Aut, false >::epsilon_remover_separate ( const automaton_t aut,
bool   
)
inline

Definition at line 453 of file epsilon-remover-separate.hh.

◆ epsilon_remover_separate() [2/5]

template<Automaton Aut>
vcsn::detail::epsilon_remover_separate< Aut, false >::epsilon_remover_separate ( const automaton_t aut,
bool   
)
inline

Definition at line 458 of file epsilon-remover-separate_BACKUP_35473.hh.

◆ epsilon_remover_separate() [3/5]

template<Automaton Aut>
vcsn::detail::epsilon_remover_separate< Aut, false >::epsilon_remover_separate ( const automaton_t aut,
bool   
)
inline

Definition at line 449 of file epsilon-remover-separate_BASE_35473.hh.

◆ epsilon_remover_separate() [4/5]

template<Automaton Aut>
vcsn::detail::epsilon_remover_separate< Aut, false >::epsilon_remover_separate ( const automaton_t aut,
bool   
)
inline

Definition at line 449 of file epsilon-remover-separate_LOCAL_35473.hh.

◆ epsilon_remover_separate() [5/5]

template<Automaton Aut>
vcsn::detail::epsilon_remover_separate< Aut, false >::epsilon_remover_separate ( const automaton_t aut,
bool   
)
inline

Definition at line 453 of file epsilon-remover-separate_REMOTE_35473.hh.

Member Function Documentation

◆ get_proper() [1/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::get_proper ( )
inline

Definition at line 458 of file epsilon-remover-separate_BASE_35473.hh.

◆ get_proper() [2/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::get_proper ( )
inline

Definition at line 458 of file epsilon-remover-separate_LOCAL_35473.hh.

◆ get_proper() [3/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::get_proper ( )
inline

Definition at line 462 of file epsilon-remover-separate_REMOTE_35473.hh.

◆ get_proper() [4/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::get_proper ( )
inline

Definition at line 462 of file epsilon-remover-separate.hh.

◆ get_proper() [5/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::get_proper ( )
inline

Definition at line 467 of file epsilon-remover-separate_BACKUP_35473.hh.

◆ operator()() [1/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::operator() ( )
inline

Definition at line 453 of file epsilon-remover-separate_BASE_35473.hh.

References vcsn::copy().

Here is the call graph for this function:

◆ operator()() [2/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::operator() ( )
inline

Definition at line 453 of file epsilon-remover-separate_LOCAL_35473.hh.

References vcsn::copy().

Here is the call graph for this function:

◆ operator()() [3/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::operator() ( )
inline

Definition at line 457 of file epsilon-remover-separate_REMOTE_35473.hh.

References vcsn::copy().

Here is the call graph for this function:

◆ operator()() [4/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::operator() ( )
inline

Definition at line 457 of file epsilon-remover-separate.hh.

References vcsn::copy().

Here is the call graph for this function:

◆ operator()() [5/5]

template<Automaton Aut>
aut_proper_t vcsn::detail::epsilon_remover_separate< Aut, false >::operator() ( )
inline

Definition at line 462 of file epsilon-remover-separate_BACKUP_35473.hh.

References vcsn::copy().

Here is the call graph for this function:

Member Data Documentation

◆ aut_

template<Automaton Aut>
automaton_t vcsn::detail::epsilon_remover_separate< Aut, false >::aut_
private

Definition at line 468 of file epsilon-remover-separate.hh.


The documentation for this class was generated from the following files: