Vcsn  2.2
Be Rational
vcsn::automatonset< Context > Class Template Reference

#include <automatonset.hh>

Collaboration diagram for vcsn::automatonset< Context >:

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_
 

Detailed Description

template<typename Context>
class vcsn::automatonset< Context >

Definition at line 10 of file automatonset.hh.

Member Typedef Documentation

template<typename Context >
using vcsn::automatonset< Context >::context_t = Context

Definition at line 13 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::kind_t = typename context_t::kind_t

Definition at line 17 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::label_t = typename labelset_t::value_t

Transition label.

Definition at line 27 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::labelset_ptr = typename context_t::labelset_ptr

Definition at line 19 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::labelset_t = labelset_t_of<context_t>

Definition at line 15 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::state_t = unsigned

Lightweight state handle (or index).

Definition at line 23 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::transition_t = unsigned

Lightweight transition handle (or index).

Definition at line 25 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::value_t = mutable_automaton<context_t>

Definition at line 14 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::weight_t = typename weightset_t::value_t

Transition weight.

Definition at line 29 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::weightset_ptr = typename context_t::weightset_ptr

Definition at line 20 of file automatonset.hh.

template<typename Context >
using vcsn::automatonset< Context >::weightset_t = weightset_t_of<context_t>

Definition at line 16 of file automatonset.hh.

Member Data Documentation

template<typename Context >
context_t vcsn::automatonset< Context >::ctx_
protected

Definition at line 32 of file automatonset.hh.


The documentation for this class was generated from the following file: