![]() |
Vcsn
2.3a
Be Rational
|
#include <minimize-moore.hh>
Public Member Functions | |
minimizer (const Aut &a) | |
Build the minimizer. Computes the classes. More... | |
class_to_set_t & | classes () |
The partition, as a list of classes. More... | |
Private Types | |
using | automaton_t = Aut |
using | labelset_t = labelset_t_of< automaton_t > |
using | genset_t = decltype(std::declval< labelset_t >().generators()) |
The generators. More... | |
using | label_t = label_t_of< automaton_t > |
using | state_t = state_t_of< automaton_t > |
using | class_t = unsigned |
using | classes_t = std::vector< class_t > |
using | set_t = std::vector< state_t > |
using | state_to_class_t = std::unordered_map< state_t, class_t > |
using | target_class_to_states_t = std::unordered_map< class_t, set_t > |
using | class_to_set_t = std::vector< set_t > |
using | transition_map_t = detail::transition_map< automaton_t, weightset_t_of< automaton_t >, true, true > |
An auxiliary data structure enabling fast access to transitions from a given state and label, in random order. More... | |
Private Member Functions | |
void | clear () |
class_t | make_class (set_t &&set, class_t number=class_invalid) |
Make a new class with the given set of states. More... | |
class_t | out_class (state_t s, label_t l) |
The destination class of s with l in a. More... | |
void | build_classes_ () |
Build the initial classes, and split until fix point. More... | |
Static Private Member Functions | |
static constexpr const char * | me () |
Private Attributes | |
automaton_t | a_ |
Input automaton, supplied at construction time. More... | |
const genset_t | gs_ |
unsigned | num_classes_ = 0 |
class_to_set_t | class_to_set_ |
state_to_class_t | state_to_class_ |
transition_map_t | transition_map_ |
Static Private Attributes | |
static constexpr class_t | class_invalid = -1 |
An invalid class. More... | |
Definition at line 28 of file minimize-moore.hh.
|
private |
Definition at line 35 of file minimize-moore.hh.
|
private |
Definition at line 47 of file minimize-moore.hh.
|
private |
Definition at line 52 of file minimize-moore.hh.
|
private |
Definition at line 48 of file minimize-moore.hh.
|
private |
The generators.
Definition at line 42 of file minimize-moore.hh.
|
private |
Definition at line 45 of file minimize-moore.hh.
|
private |
Definition at line 40 of file minimize-moore.hh.
|
private |
Definition at line 49 of file minimize-moore.hh.
|
private |
Definition at line 46 of file minimize-moore.hh.
|
private |
Definition at line 50 of file minimize-moore.hh.
|
private |
Definition at line 51 of file minimize-moore.hh.
|
private |
An auxiliary data structure enabling fast access to transitions from a given state and label, in random order.
Definition at line 70 of file minimize-moore.hh.
|
inline |
Build the minimizer. Computes the classes.
Definition at line 117 of file minimize-moore.hh.
References vcsn::is_deterministic(), vcsn::is_trim(), and vcsn::require().
|
inlineprivate |
Build the initial classes, and split until fix point.
Definition at line 137 of file minimize-moore.hh.
|
inline |
The partition, as a list of classes.
Definition at line 129 of file minimize-moore.hh.
|
inlineprivate |
Definition at line 73 of file minimize-moore.hh.
|
inlineprivate |
Make a new class with the given set of states.
Definition at line 82 of file minimize-moore.hh.
References vcsn::set.
|
inlinestaticprivate |
Definition at line 54 of file minimize-moore.hh.
|
inlineprivate |
The destination class of s with l in a.
Return class_invalid if s has no successor with l.
Definition at line 105 of file minimize-moore.hh.
References vcsn::detail::map().
|
private |
Input automaton, supplied at construction time.
Definition at line 38 of file minimize-moore.hh.
|
staticprivate |
An invalid class.
Definition at line 57 of file minimize-moore.hh.
|
private |
Definition at line 61 of file minimize-moore.hh.
|
private |
Definition at line 43 of file minimize-moore.hh.
|
private |
Definition at line 58 of file minimize-moore.hh.
|
private |
Definition at line 62 of file minimize-moore.hh.
|
private |
Definition at line 71 of file minimize-moore.hh.