![]() |
Vcsn
2.3a
Be Rational
|
#include <minimize-weighted.hh>
Classes | |
struct | classset |
Dealing with class numbers. More... | |
struct | signature_equal_to |
struct | signature_hasher |
Public Member Functions | |
minimizer (const Aut &a) | |
class_to_set_t & | classes () |
The minimized automaton. More... | |
void | build_classes_ () |
Build the initial classes, and split until fix point. More... | |
Public Attributes | |
automaton_t | a_ |
Input automaton, supplied at construction time. More... | |
const labelset_t & | ls_ = *a_->labelset() |
const weightset_t & | ws_ = *a_->weightset() |
unsigned | num_classes_ = 0 |
class_to_set_t | class_to_set_ |
state_to_class_t | state_to_class_ |
class_polynomialset_t | cps_ {{classset{}, ws_}} |
Class polynomialset. More... | |
Private Types | |
using | automaton_t = Aut |
using | labelset_t = labelset_t_of< automaton_t > |
using | weightset_t = weightset_t_of< automaton_t > |
using | label_t = label_t_of< automaton_t > |
using | weight_t = weight_t_of< automaton_t > |
using | state_t = state_t_of< automaton_t > |
using | class_t = unsigned |
using | set_t = std::vector< state_t > |
using | state_to_class_t = std::unordered_map< state_t, class_t > |
using | class_to_set_t = std::vector< set_t > |
using | class_polynomialset_t = polynomialset< context< classset, weightset_t >> |
The output of a given letter from a given state, keeping into account classes and weights. More... | |
using | class_polynomial_t = typename class_polynomialset_t::value_t |
using | signature_t = std::map< label_t, class_polynomial_t > |
A signature: for each label, the outgoing class polynomial. More... | |
using | signature_multimap = std::unordered_map< signature_t, set_t, signature_hasher, signature_equal_to > |
Cluster states per signature. More... | |
Private Member Functions | |
signature_t | signature (state_t s) const |
The signature of state s. More... | |
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... | |
Static Private Member Functions | |
static constexpr const char * | me () |
Static Private Attributes | |
static constexpr class_t | class_invalid = -1 |
An invalid class. More... | |
Definition at line 23 of file minimize-weighted.hh.
|
private |
Definition at line 25 of file minimize-weighted.hh.
|
private |
Definition at line 68 of file minimize-weighted.hh.
|
private |
The output of a given letter from a given state, keeping into account classes and weights.
Definition at line 66 of file minimize-weighted.hh.
|
private |
Definition at line 32 of file minimize-weighted.hh.
|
private |
Definition at line 35 of file minimize-weighted.hh.
|
private |
Definition at line 29 of file minimize-weighted.hh.
|
private |
Definition at line 27 of file minimize-weighted.hh.
|
private |
Definition at line 33 of file minimize-weighted.hh.
|
private |
Cluster states per signature.
Definition at line 123 of file minimize-weighted.hh.
|
private |
A signature: for each label, the outgoing class polynomial.
Definition at line 71 of file minimize-weighted.hh.
|
private |
Definition at line 31 of file minimize-weighted.hh.
|
private |
Definition at line 34 of file minimize-weighted.hh.
|
private |
Definition at line 30 of file minimize-weighted.hh.
|
private |
Definition at line 28 of file minimize-weighted.hh.
|
inline |
Definition at line 158 of file minimize-weighted.hh.
References vcsn::is_trim(), and vcsn::require().
|
inline |
Build the initial classes, and split until fix point.
Definition at line 172 of file minimize-weighted.hh.
References vcsn::all().
|
inline |
The minimized automaton.
Definition at line 165 of file minimize-weighted.hh.
|
inlineprivate |
Definition at line 125 of file minimize-weighted.hh.
|
inlineprivate |
Make a new class with the given set of states.
set | the states belonging to this class |
number | the class number to use. If class_invalid, allocate one. |
Definition at line 138 of file minimize-weighted.hh.
References vcsn::set.
|
inlinestaticprivate |
Definition at line 37 of file minimize-weighted.hh.
|
inlineprivate |
The signature of state s.
Definition at line 73 of file minimize-weighted.hh.
References vcsn::detail::all_out(), and vcsn::res.
automaton_t vcsn::detail::minimizer< Aut, weighted_tag >::a_ |
Input automaton, supplied at construction time.
Definition at line 226 of file minimize-weighted.hh.
|
staticprivate |
An invalid class.
Definition at line 40 of file minimize-weighted.hh.
class_to_set_t vcsn::detail::minimizer< Aut, weighted_tag >::class_to_set_ |
Definition at line 233 of file minimize-weighted.hh.
class_polynomialset_t vcsn::detail::minimizer< Aut, weighted_tag >::cps_ {{classset{}, ws_}} |
Class polynomialset.
Definition at line 237 of file minimize-weighted.hh.
const labelset_t& vcsn::detail::minimizer< Aut, weighted_tag >::ls_ = *a_->labelset() |
Definition at line 228 of file minimize-weighted.hh.
unsigned vcsn::detail::minimizer< Aut, weighted_tag >::num_classes_ = 0 |
Definition at line 231 of file minimize-weighted.hh.
state_to_class_t vcsn::detail::minimizer< Aut, weighted_tag >::state_to_class_ |
Definition at line 234 of file minimize-weighted.hh.
const weightset_t& vcsn::detail::minimizer< Aut, weighted_tag >::ws_ = *a_->weightset() |
Definition at line 229 of file minimize-weighted.hh.