![]() |
Vcsn
2.3a
Be Rational
|
#include <expression.hh>
Public Types | |
using | super_t = inner< Context > |
using | value_t = typename super_t::value_t |
![]() | |
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 | |
unary (value_t exp) | |
virtual type_t | type () const |
The type of this node. More... | |
const value_t | sub () const |
virtual void | accept (typename super_t::const_visitor &v) 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 | |
value_t | sub_ |
Definition at line 235 of file expression.hh.
using vcsn::rat::unary< Type, Context >::super_t = inner<Context> |
Definition at line 241 of file expression.hh.
using vcsn::rat::unary< Type, Context >::value_t = typename super_t::value_t |
Definition at line 242 of file expression.hh.
vcsn::rat::unary< Type, Context >::unary | ( | value_t | exp | ) |
Definition at line 133 of file expression.hxx.
|
virtual |
Implements vcsn::rat::node< Context >.
Definition at line 143 of file expression.hxx.
References vcsn::v.
auto vcsn::rat::unary< Type, Context >::sub | ( | ) | const |
Definition at line 137 of file expression.hxx.
Referenced by vcsn::rat::info< ExpSet >::visit_().
|
inlinevirtual |
|
private |
Definition at line 252 of file expression.hh.