Vcsn  2.2
Be Rational
automatonset.hh
Go to the documentation of this file.
1 #pragma once
2 
4 #include <vcsn/ctx/context.hh>
5 
6 namespace vcsn
7 {
8 
9  template <typename Context>
11  {
12  public:
13  using context_t = Context;
17  using kind_t = typename context_t::kind_t;
18 
19  using labelset_ptr = typename context_t::labelset_ptr;
20  using weightset_ptr = typename context_t::weightset_ptr;
21 
23  using state_t = unsigned;
25  using transition_t = unsigned;
27  using label_t = typename labelset_t::value_t;
29  using weight_t = typename weightset_t::value_t;
30 
31  protected:
33  };
34 }
typename labelset_t::value_t label_t
Transition label.
Definition: automatonset.hh:27
typename detail::weightset_t_of_impl< base_t< ValueSet >>::type weightset_t_of
Definition: traits.hh:59
std::shared_ptr< detail::mutable_automaton_impl< Context >> mutable_automaton
Definition: fwd.hh:25
weightset_t_of< context_t > weightset_t
Definition: automatonset.hh:16
Definition: a-star.hh:8
typename context_t::labelset_ptr labelset_ptr
Definition: automatonset.hh:19
typename detail::labelset_t_of_impl< base_t< ValueSet >>::type labelset_t_of
Definition: traits.hh:55
typename context_t::weightset_ptr weightset_ptr
Definition: automatonset.hh:20
typename weightset_t::value_t weight_t
Transition weight.
Definition: automatonset.hh:29
unsigned transition_t
Lightweight transition handle (or index).
Definition: automatonset.hh:25
typename context_t::kind_t kind_t
Definition: automatonset.hh:17
labelset_t_of< context_t > labelset_t
Definition: automatonset.hh:15
mutable_automaton< context_t > value_t
Definition: automatonset.hh:14
unsigned state_t
Lightweight state handle (or index).
Definition: automatonset.hh:23