![]() |
Vcsn
2.1
Be Rational
|
Implementation of nodes of tuple of rational expressions. More...
#include <expression.hh>
Classes | |
struct | values_t_impl |
struct | values_t_impl< detail::index_sequence< I...> > |
Public Types | |
using | super_t = inner< Context > |
using | context_t = Context |
using | value_t = typename super_t::value_t |
template<unsigned Tape> | |
using | value_t_of = std::shared_ptr< const rat::node< detail::project_context< Tape, context_t >>> |
Given a tape, its corresponding expression type. More... | |
using | indices_t = typename labelset_t_of< context_t >::indices_t |
using | values_t = typename values_t_impl< typename indices_t::type >::type |
![]() | |
using | super_t = node< Context > |
using | value_t = typename super_t::value_t |
![]() | |
using | context_t = Context |
using | node_t = rat::node< context_t > |
using | value_t = std::shared_ptr< const node_t > |
An expression usable with value semantics. More... | |
using | values_t = std::vector< value_t > |
using | const_visitor = vcsn::rat::const_visitor< context_t > |
![]() | |
using | type_t = rat::type_t |
The possible types of expressions. More... | |
Public Member Functions | |
template<typename... Args> | |
tuple (Args &&...args) | |
virtual type_t | type () const |
The type of this node. More... | |
virtual void | accept (typename super_t::const_visitor &v) const |
const values_t | sub () const |
![]() | |
virtual | ~exp ()=default |
bool | is_unary () const |
Whether star, complement. More... | |
bool | is_leaf () const |
Whether a leaf of the expression tree. More... | |
Private Attributes | |
values_t | sub_ |
Implementation of nodes of tuple of rational expressions.
Definition at line 182 of file expression.hh.
using vcsn::rat::tuple< Context, Enable >::context_t = Context |
Definition at line 189 of file expression.hh.
using vcsn::rat::tuple< Context, Enable >::indices_t = typename labelset_t_of<context_t>::indices_t |
Definition at line 205 of file expression.hh.
using vcsn::rat::tuple< Context, Enable >::super_t = inner<Context> |
Definition at line 188 of file expression.hh.
using vcsn::rat::tuple< Context, Enable >::value_t = typename super_t::value_t |
Definition at line 190 of file expression.hh.
using vcsn::rat::tuple< Context, Enable >::value_t_of = std::shared_ptr<const rat::node<detail::project_context<Tape, context_t>>> |
Given a tape, its corresponding expression type.
Definition at line 195 of file expression.hh.
using vcsn::rat::tuple< Context, Enable >::values_t = typename values_t_impl<typename indices_t::type>::type |
Definition at line 206 of file expression.hh.
|
inline |
Definition at line 209 of file expression.hh.
|
inlinevirtual |
Implements vcsn::rat::node< Context >.
Definition at line 214 of file expression.hh.
References vcsn::rat::const_visitor< Context >::visit().
|
inline |
Definition at line 219 of file expression.hh.
References vcsn::rat::variadic< Type, Context >::sub_.
Referenced by vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::as_label_(), and vcsn::rat::expressionset_impl< Context >::tuple_of_label< Dummy >::is_label_().
|
inlinevirtual |
The type of this node.
Implements vcsn::rat::exp.
Definition at line 212 of file expression.hh.
References vcsn::rat::tuple.
|
private |
Definition at line 222 of file expression.hh.