Vcsn
2.3
Be Rational
|
Specify a variety of derived-term construction. More...
#include <derived-term.hh>
Public Types | |
enum | algo_t { derivation, expansion } |
Core algorithms. More... | |
Public Member Functions | |
derived_term_algo (algo_t a, bool b, bool d) | |
derived_term_algo (std::string algo) | |
From algo name to algo. More... | |
Public Attributes | |
algo_t | algo |
Core algorithm. More... | |
bool | breaking = false |
Whether to break sums. More... | |
bool | determinize = false |
Whether to determinize the expansions and produce a deterministic automaton, at the expense of possibly not terminating. More... | |
Specify a variety of derived-term construction.
Definition at line 22 of file derived-term.hh.
|
inline |
Definition at line 31 of file derived-term.hh.
Referenced by derived_term_algo().
|
inline |
From algo name to algo.
Definition at line 38 of file derived-term.hh.
References algo, derivation, derived_term_algo(), expansion, and vcsn::detail::map().
algo_t vcsn::detail::derived_term_algo::algo |
Core algorithm.
Definition at line 65 of file derived-term.hh.
Referenced by derived_term_algo(), and vcsn::detail::derived_term_automaton_impl< ExpSet >::operator()().
bool vcsn::detail::derived_term_algo::breaking = false |
Whether to break sums.
Definition at line 67 of file derived-term.hh.
Referenced by vcsn::detail::derived_term_automaton_impl< ExpSet >::complete_via_derivation_(), vcsn::detail::derived_term_automaton_impl< ExpSet >::complete_via_expansion_(), and vcsn::detail::derived_term_automaton_impl< ExpSet >::init_().
bool vcsn::detail::derived_term_algo::determinize = false |
Whether to determinize the expansions and produce a deterministic automaton, at the expense of possibly not terminating.
Definition at line 71 of file derived-term.hh.
Referenced by vcsn::detail::derived_term_automaton_impl< ExpSet >::complete_via_derivation_(), and vcsn::detail::derived_term_automaton_impl< ExpSet >::complete_via_expansion_().