Vcsn  2.1
Be Rational
Public Member Functions | Private Types | Private Member Functions | Static Private Member Functions | Private Attributes | Static Private Attributes | List of all members
vcsn::detail_moore::minimizer< Aut > Class Template Reference

#include <minimize-moore.hh>

Collaboration diagram for vcsn::detail_moore::minimizer< Aut >:

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 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 class_to_state_t = std::vector< state_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 labelset_t_of< Aut >::genset_t gs_
 The generators. More...
 
unsigned num_classes_ = 0
 
class_to_set_t class_to_set_
 
state_to_class_t state_to_class_
 
class_to_state_t class_to_res_state_
 
transition_map_t transition_map_
 

Static Private Attributes

static constexpr class_t class_invalid = -1
 An invalid class. More...
 

Detailed Description

template<typename Aut>
class vcsn::detail_moore::minimizer< Aut >

Definition at line 22 of file minimize-moore.hh.

Member Typedef Documentation

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::automaton_t = Aut
private

Definition at line 29 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::class_t = unsigned
private

Definition at line 39 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::class_to_set_t = std::vector<set_t>
private

Definition at line 44 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::class_to_state_t = std::vector<state_t>
private

Definition at line 45 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::classes_t = std::vector<class_t>
private

Definition at line 40 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::label_t = label_t_of<automaton_t>
private

Definition at line 37 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::set_t = std::vector<state_t>
private

Definition at line 41 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::state_t = state_t_of<automaton_t>
private

Definition at line 38 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::state_to_class_t = std::unordered_map<state_t, class_t>
private

Definition at line 42 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::target_class_to_states_t = std::unordered_map<class_t, set_t>
private

Definition at line 43 of file minimize-moore.hh.

template<typename Aut >
using vcsn::detail_moore::minimizer< Aut >::transition_map_t = detail::transition_map<automaton_t, weightset_t_of<automaton_t>, true, true>
private

An auxiliary data structure enabling fast access to transitions from a given state and label, in random order.

Definition at line 64 of file minimize-moore.hh.

Constructor & Destructor Documentation

template<typename Aut >
vcsn::detail_moore::minimizer< Aut >::minimizer ( const Aut &  a)
inline

Build the minimizer. Computes the classes.

Definition at line 112 of file minimize-moore.hh.

References vcsn::is_deterministic(), vcsn::is_trim(), vcsn::detail_moore::minimizer< Aut >::me(), and vcsn::require().

Here is the call graph for this function:

Member Function Documentation

template<typename Aut >
void vcsn::detail_moore::minimizer< Aut >::build_classes_ ( )
inlineprivate

Build the initial classes, and split until fix point.

Definition at line 132 of file minimize-moore.hh.

References vcsn::detail_moore::minimizer< Aut >::class_invalid, vcsn::detail_moore::minimizer< Aut >::make_class(), vcsn::detail_moore::minimizer< Aut >::num_classes_, and vcsn::detail_moore::minimizer< Aut >::out_class().

Referenced by vcsn::detail_moore::minimizer< Aut >::classes().

Here is the call graph for this function:

template<typename Aut >
class_to_set_t& vcsn::detail_moore::minimizer< Aut >::classes ( )
inline

The partition, as a list of classes.

Definition at line 124 of file minimize-moore.hh.

References vcsn::detail_moore::minimizer< Aut >::build_classes_(), and vcsn::detail_moore::minimizer< Aut >::class_to_set_.

Here is the call graph for this function:

template<typename Aut >
void vcsn::detail_moore::minimizer< Aut >::clear ( )
inlineprivate

Definition at line 67 of file minimize-moore.hh.

template<typename Aut >
class_t vcsn::detail_moore::minimizer< Aut >::make_class ( set_t &&  set,
class_t  number = class_invalid 
)
inlineprivate

Make a new class with the given set of states.

Definition at line 77 of file minimize-moore.hh.

References vcsn::set.

Referenced by vcsn::detail_moore::minimizer< Aut >::build_classes_().

template<typename Aut >
static constexpr const char* vcsn::detail_moore::minimizer< Aut >::me ( )
inlinestaticprivate

Definition at line 47 of file minimize-moore.hh.

Referenced by vcsn::detail_moore::minimizer< Aut >::minimizer().

template<typename Aut >
class_t vcsn::detail_moore::minimizer< Aut >::out_class ( state_t  s,
label_t  l 
)
inlineprivate

The destination class of s with l in a.

Return class_invalid if s has no successor with l.

Definition at line 100 of file minimize-moore.hh.

References vcsn::detail_moore::minimizer< Aut >::class_invalid.

Referenced by vcsn::detail_moore::minimizer< Aut >::build_classes_().

Member Data Documentation

template<typename Aut >
automaton_t vcsn::detail_moore::minimizer< Aut >::a_
private

Input automaton, supplied at construction time.

Definition at line 32 of file minimize-moore.hh.

template<typename Aut >
constexpr class_t vcsn::detail_moore::minimizer< Aut >::class_invalid = -1
staticprivate

An invalid class.

Definition at line 50 of file minimize-moore.hh.

Referenced by vcsn::detail_moore::minimizer< Aut >::build_classes_(), and vcsn::detail_moore::minimizer< Aut >::out_class().

template<typename Aut >
class_to_state_t vcsn::detail_moore::minimizer< Aut >::class_to_res_state_
private

Definition at line 56 of file minimize-moore.hh.

template<typename Aut >
class_to_set_t vcsn::detail_moore::minimizer< Aut >::class_to_set_
private

Definition at line 54 of file minimize-moore.hh.

Referenced by vcsn::detail_moore::minimizer< Aut >::classes().

template<typename Aut >
const labelset_t_of<Aut>::genset_t vcsn::detail_moore::minimizer< Aut >::gs_
private

The generators.

Definition at line 35 of file minimize-moore.hh.

template<typename Aut >
unsigned vcsn::detail_moore::minimizer< Aut >::num_classes_ = 0
private

Definition at line 51 of file minimize-moore.hh.

Referenced by vcsn::detail_moore::minimizer< Aut >::build_classes_().

template<typename Aut >
state_to_class_t vcsn::detail_moore::minimizer< Aut >::state_to_class_
private

Definition at line 55 of file minimize-moore.hh.

template<typename Aut >
transition_map_t vcsn::detail_moore::minimizer< Aut >::transition_map_
private

Definition at line 65 of file minimize-moore.hh.

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