vcsn::rat::unary< Type, Context > Class Template Reference

#include <expression.hh>

Inheritance diagram for vcsn::rat::unary< Type, Context >:

Collaboration diagram for vcsn::rat::unary< Type, Context >:

Public Types
using	super_t = inner< Context >
using	value_t = typename super_t::value_t
Public Types inherited from vcsn::rat::inner< Context >
using	super_t = node< Context >
using	value_t = typename super_t::value_t
Public Types inherited from vcsn::rat::node< Context >
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 >
Public Types inherited from vcsn::rat::exp
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
Public Member Functions inherited from vcsn::rat::exp
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_

Detailed Description

template<exp::type_t Type, typename Context>
class vcsn::rat::unary< Type, Context >

Definition at line 235 of file expression.hh.

Member Typedef Documentation

template<exp::type_t Type, typename Context>

using vcsn::rat::unary< Type, Context >::super_t = inner<Context>

Definition at line 241 of file expression.hh.

template<exp::type_t Type, typename Context>

using vcsn::rat::unary< Type, Context >::value_t = typename super_t::value_t

Definition at line 242 of file expression.hh.

Constructor & Destructor Documentation

template<type_t Type, typename Context >

vcsn::rat::unary< Type, Context >::unary ( value_t  exp )

inline

Definition at line 137 of file expression.hxx.

Member Function Documentation

template<type_t Type, typename Context >

auto vcsn::rat::unary< Type, Context >::accept ( typename super_t::const_visitor &  v ) const

inlinevirtual

Implements vcsn::rat::node< Context >.

Definition at line 147 of file expression.hxx.

References vcsn::detail::v.

template<type_t Type, typename Context >

auto vcsn::rat::unary< Type, Context >::sub ( ) const

inline

Definition at line 141 of file expression.hxx.

Referenced by vcsn::rat::info< ExpSet >::visit_().

template<exp::type_t Type, typename Context>

virtual type_t vcsn::rat::unary< Type, Context >::type ( ) const

inlinevirtual

The type of this node.

Implements vcsn::rat::exp.

Definition at line 245 of file expression.hh.

Member Data Documentation

template<exp::type_t Type, typename Context>

value_t vcsn::rat::unary< Type, Context >::sub_

private

Definition at line 252 of file expression.hh.

---

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

• vcsn/core/rat/expression.hh
• vcsn/core/rat/expression.hxx