![]() |
Vcsn
2.3a
Be Rational
|
State labelset. More...
#include <stateset.hh>
Public Types | |
using | automaton_t = Aut |
using | state_t = state_t_of< Aut > |
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) |
Private Attributes | |
automaton_t | aut_ |
State labelset.
Used when representing states as labels of polynomials.
Definition at line 14 of file stateset.hh.
using vcsn::stateset< Aut >::automaton_t = Aut |
Definition at line 17 of file stateset.hh.
using vcsn::stateset< Aut >::kind_t = void |
Definition at line 33 of file stateset.hh.
using vcsn::stateset< Aut >::state_t = state_t_of<Aut> |
Definition at line 18 of file stateset.hh.
using vcsn::stateset< Aut >::value_t = state_t |
Definition at line 24 of file stateset.hh.
|
inline |
Definition at line 20 of file stateset.hh.
|
inlinestatic |
Definition at line 34 of file stateset.hh.
|
inlinestatic |
Definition at line 44 of file stateset.hh.
References vcsn::detail::hash_value().
|
inlinestatic |
Definition at line 28 of file stateset.hh.
|
inlinestatic |
Definition at line 39 of file stateset.hh.
|
inline |
Definition at line 50 of file stateset.hh.
|
private |
Definition at line 56 of file stateset.hh.