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 11 of file automatonset.hh.

Member Typedef Documentation

template<typename Context >

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

Definition at line 14 of file automatonset.hh.

template<typename Context >

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

Definition at line 18 of file automatonset.hh.

template<typename Context >

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

Transition label.

Definition at line 28 of file automatonset.hh.

template<typename Context >

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

Definition at line 20 of file automatonset.hh.

template<typename Context >

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

Definition at line 16 of file automatonset.hh.

template<typename Context >

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

Lightweight state handle (or index).

Definition at line 24 of file automatonset.hh.

template<typename Context >

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

Lightweight transition handle (or index).

Definition at line 26 of file automatonset.hh.

template<typename Context >

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

Definition at line 15 of file automatonset.hh.

template<typename Context >

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

Transition weight.

Definition at line 30 of file automatonset.hh.

template<typename Context >

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

Definition at line 21 of file automatonset.hh.

template<typename Context >

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

Definition at line 17 of file automatonset.hh.

Member Data Documentation

template<typename Context >

context_t vcsn::automatonset< Context >::ctx_

protected

Definition at line 33 of file automatonset.hh.

---

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

• vcsn/core/automatonset.hh