![]() |
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().