vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy > Struct Template Reference

Turn a tuple of expressions that are labels into a multi-tape label. More...

Collaboration diagram for vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >:

Public Member Functions
label_t	as_label (const tuple_t &v) const
	All the components are (single-tape) labels: make this a multitape label. More...
template<size_t... I>
label_t	as_label_ (const tuple_t &v, detail::index_sequence< I... >) const
template<size_t I>
project_t< I >::label_t	as_label_ (const tuple_t &v) const
	The expression on tape I is actually a label: get it. More...

Static Public Member Functions
static bool	is_label (const tuple_t &v)
	Are all the components labels? More...
template<size_t... I>
static bool	is_label_ (const tuple_t &v, detail::index_sequence< I... >)
	Are all the components on I... labels? More...

Public Attributes
const self_t &	rs_

Detailed Description

template<typename Context>
template<typename Dummy = void>
struct vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >

Turn a tuple of expressions that are labels into a multi-tape label.

Definition at line 445 of file expressionset.hh.

Member Function Documentation

template<typename Context >

template<typename Dummy = void>

label_t vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::as_label ( const tuple_t &  v ) const

inline

All the components are (single-tape) labels: make this a multitape label.

Definition at line 455 of file expressionset.hh.

template<typename Context >

template<typename Dummy = void>

template<size_t... I>

label_t vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::as_label_ ( const tuple_t &  v, detail::index_sequence< I... >    ) const

inline

Definition at line 473 of file expressionset.hh.

References vcsn::v.

template<typename Context >

template<typename Dummy = void>

template<size_t I>

project_t<I>::label_t vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::as_label_ ( const tuple_t &  v ) const

inline

The expression on tape I is actually a label: get it.

Definition at line 480 of file expressionset.hh.

References vcsn::detail::label_one(), vcsn::rat::one, vcsn::rat::tuple< Context, Enable >::sub(), and vcsn::dyn::type().

Here is the call graph for this function:

template<typename Context >

template<typename Dummy = void>

static bool vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::is_label ( const tuple_t &  v )

inlinestatic

Are all the components labels?

Definition at line 448 of file expressionset.hh.

template<typename Context >

template<typename Dummy = void>

template<size_t... I>

static bool vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::is_label_ ( const tuple_t &  v, detail::index_sequence< I... >    )

inlinestatic

Are all the components on I... labels?

Definition at line 462 of file expressionset.hh.

References vcsn::rat::atom, vcsn::rat::one, vcsn::rat::tuple< Context, Enable >::sub(), and vcsn::dyn::type().

Here is the call graph for this function:

Member Data Documentation

template<typename Context >

template<typename Dummy = void>

const self_t& vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::rs_

Definition at line 488 of file expressionset.hh.

---

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

• vcsn/core/rat/expressionset.hh