![]() |
Vcsn
2.3a
Be Rational
|
Turn a tuple of expressions that are labels into a multi-tape label. More...
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_ |
Turn a tuple of expressions that are labels into a multi-tape label.
Definition at line 445 of file expressionset.hh.
|
inline |
All the components are (single-tape) labels: make this a multitape label.
Definition at line 455 of file expressionset.hh.
|
inline |
Definition at line 473 of file expressionset.hh.
References vcsn::v.
|
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().
|
inlinestatic |
Are all the components labels?
Definition at line 448 of file expressionset.hh.
|
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().
const self_t& vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::rs_ |
Definition at line 488 of file expressionset.hh.