Vcsn
2.0
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, symbol format=symbol{"text"}) const |
Static Public Member Functions | |
static bool | equals (state_t l, state_t r) |
static bool | less_than (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 291 of file determinize.hh.
using vcsn::detail::detweighted_automaton_impl< Aut >::stateset::kind_t = void |
Definition at line 298 of file determinize.hh.
using vcsn::detail::detweighted_automaton_impl< Aut >::stateset::value_t = state_t |
Definition at line 297 of file determinize.hh.
|
inline |
Definition at line 293 of file determinize.hh.
|
inlinestatic |
Definition at line 299 of file determinize.hh.
|
inlinestatic |
Definition at line 309 of file determinize.hh.
References vcsn::hash_value().
|
inlinestatic |
Definition at line 304 of file determinize.hh.
|
inline |
Definition at line 315 of file determinize.hh.
automaton_t vcsn::detail::detweighted_automaton_impl< Aut >::stateset::aut_ |
Definition at line 321 of file determinize.hh.