Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
automatonset.hh
Go to the documentation of this file.
1 #ifndef VCSN_CORE_AUTOMATONSET_HH
2 # define VCSN_CORE_AUTOMATONSET_HH
3 
5 # include <vcsn/ctx/context.hh>
6 
7 namespace vcsn
8 {
9 
10  template <typename Context>
12  {
13  public:
14  using context_t = Context;
18  using kind_t = typename context_t::kind_t;
19 
20  using labelset_ptr = typename context_t::labelset_ptr;
21  using weightset_ptr = typename context_t::weightset_ptr;
22 
24  using state_t = unsigned;
26  using transition_t = unsigned;
28  using label_t = typename labelset_t::value_t;
30  using weight_t = typename weightset_t::value_t;
31 
32  protected:
34  };
35 }
36 
37 #endif // !VCSN_CORE_AUTOMATONSET_HH
typename context_t::weightset_ptr weightset_ptr
Definition: automatonset.hh:21
mutable_automaton< context_t > value_t
Definition: automatonset.hh:15
typename detail::labelset_t_of_impl< base_t< ValueSet >>::type labelset_t_of
Definition: traits.hh:34
typename context_t::kind_t kind_t
Definition: automatonset.hh:18
std::shared_ptr< detail::mutable_automaton_impl< Context >> mutable_automaton
Definition: fwd.hh:25
weightset_t_of< context_t > weightset_t
Definition: automatonset.hh:17
typename detail::weightset_t_of_impl< base_t< ValueSet >>::type weightset_t_of
Definition: traits.hh:38
labelset_t_of< context_t > labelset_t
Definition: automatonset.hh:16
typename labelset_t::value_t label_t
Transition label.
Definition: automatonset.hh:28
unsigned state_t
Lightweight state handle (or index).
Definition: automatonset.hh:24
typename weightset_t::value_t weight_t
Transition weight.
Definition: automatonset.hh:30
typename context_t::labelset_ptr labelset_ptr
Definition: automatonset.hh:20
unsigned transition_t
Lightweight transition handle (or index).
Definition: automatonset.hh:26