automatonset.hh

Go to the documentation of this file.

#pragma once

#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/ctx/context.hh>

namespace vcsn
{

  template <typename Context>
  class automatonset
  {
  public:
    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;
    using transition_t = unsigned;
    using label_t = typename labelset_t::value_t;
    using weight_t = typename weightset_t::value_t;

  protected:
    context_t ctx_;
  };
}