Vcsn
2.1
Be Rational
|
An output state is a list of weighted input states. More...
#include <determinize.hh>
Public Types | |
using | value_t = state_t |
using | kind_t = void |
Public Member Functions | |
stateset (const automaton_t &aut) | |
std::ostream & | print (state_t s, std::ostream &out, format fmt={}) const |
Static Public Member Functions | |
static constexpr bool | is_letterized () |
static bool | equal (state_t l, state_t r) |
static bool | less (state_t l, state_t r) |
static size_t | hash (state_t s) |
Public Attributes | |
automaton_t | aut_ |
An output state is a list of weighted input states.
Definition at line 301 of file determinize.hh.
using vcsn::detail::detweighted_automaton_impl< Aut >::stateset::kind_t = void |
Definition at line 316 of file determinize.hh.
using vcsn::detail::detweighted_automaton_impl< Aut >::stateset::value_t = state_t |
Definition at line 307 of file determinize.hh.
|
inline |
Definition at line 303 of file determinize.hh.
|
inlinestatic |
Definition at line 317 of file determinize.hh.
|
inlinestatic |
Definition at line 327 of file determinize.hh.
References vcsn::hash_value().
|
inlinestatic |
Definition at line 311 of file determinize.hh.
|
inlinestatic |
Definition at line 322 of file determinize.hh.
|
inline |
Definition at line 333 of file determinize.hh.
automaton_t vcsn::detail::detweighted_automaton_impl< Aut >::stateset::aut_ |
Definition at line 339 of file determinize.hh.