![]() |
Vcsn
2.1
Be Rational
|
#include <automatonset.hh>
Public Types | |
using | context_t = Context |
using | value_t = mutable_automaton< context_t > |
using | labelset_t = labelset_t_of< context_t > |
using | weightset_t = weightset_t_of< context_t > |
using | kind_t = typename context_t::kind_t |
using | labelset_ptr = typename context_t::labelset_ptr |
using | weightset_ptr = typename context_t::weightset_ptr |
using | state_t = unsigned |
Lightweight state handle (or index). More... | |
using | transition_t = unsigned |
Lightweight transition handle (or index). More... | |
using | label_t = typename labelset_t::value_t |
Transition label. More... | |
using | weight_t = typename weightset_t::value_t |
Transition weight. More... | |
Protected Attributes | |
context_t | ctx_ |
Definition at line 11 of file automatonset.hh.
using vcsn::automatonset< Context >::context_t = Context |
Definition at line 14 of file automatonset.hh.
using vcsn::automatonset< Context >::kind_t = typename context_t::kind_t |
Definition at line 18 of file automatonset.hh.
using vcsn::automatonset< Context >::label_t = typename labelset_t::value_t |
Transition label.
Definition at line 28 of file automatonset.hh.
using vcsn::automatonset< Context >::labelset_ptr = typename context_t::labelset_ptr |
Definition at line 20 of file automatonset.hh.
using vcsn::automatonset< Context >::labelset_t = labelset_t_of<context_t> |
Definition at line 16 of file automatonset.hh.
using vcsn::automatonset< Context >::state_t = unsigned |
Lightweight state handle (or index).
Definition at line 24 of file automatonset.hh.
using vcsn::automatonset< Context >::transition_t = unsigned |
Lightweight transition handle (or index).
Definition at line 26 of file automatonset.hh.
using vcsn::automatonset< Context >::value_t = mutable_automaton<context_t> |
Definition at line 15 of file automatonset.hh.
using vcsn::automatonset< Context >::weight_t = typename weightset_t::value_t |
Transition weight.
Definition at line 30 of file automatonset.hh.
using vcsn::automatonset< Context >::weightset_ptr = typename context_t::weightset_ptr |
Definition at line 21 of file automatonset.hh.
using vcsn::automatonset< Context >::weightset_t = weightset_t_of<context_t> |
Definition at line 17 of file automatonset.hh.
|
protected |
Definition at line 33 of file automatonset.hh.