![]() |
Vcsn
2.1
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 (const 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.
|
inline |
From algo name to algo.
Definition at line 38 of file derived-term.hh.
References derivation, expansion, vcsn::getargs(), and vcsn::detail::map().
algo_t vcsn::detail::derived_term_algo::algo |
Core algorithm.
Definition at line 59 of file derived-term.hh.
Referenced by vcsn::detail::derived_termer< ExpSet >::operator()().
bool vcsn::detail::derived_term_algo::breaking = false |
Whether to break sums.
Definition at line 61 of file derived-term.hh.
Referenced by vcsn::detail::derived_termer< ExpSet >::init_(), vcsn::detail::derived_termer< ExpSet >::via_derivation(), and vcsn::detail::derived_termer< ExpSet >::via_expansion().
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 65 of file derived-term.hh.
Referenced by vcsn::detail::derived_termer< ExpSet >::via_derivation(), and vcsn::detail::derived_termer< ExpSet >::via_expansion().