An inner node. More...

#include <ratexp.hh>

Inheritance diagram for awali::sttc::rat::inner< Label, Weight >:

Public Types
using	label_t = Label

using	super_type = node< label_t, weight_t >

using	value_t = typename super_type::value_t

using	weight_t = Weight

Public Types inherited from awali::sttc::rat::node< Label, Weight >
using	const_visitor = sttc::rat::const_visitor< label_t, weight_t >

using	label_t = Label

using	node_t = rat::node< label_t, weight_t >

using	ratexps_t = std::vector< value_t >

using	value_t = std::shared_ptr< const node_t >

using	weight_t = Weight

using	wvalue_t = std::shared_ptr< node_t >
	Same as value_t, but writable. Use with care. More...

Public Types inherited from awali::sttc::rat::exp
using	type_t = rat::type_t
	The possible types of ratexps. More...

Additional Inherited Members
Public Member Functions inherited from awali::sttc::rat::node< Label, Weight >
virtual void	accept (const_visitor &v) const =0

Public Member Functions inherited from awali::sttc::rat::exp
virtual	~exp ()=default

bool	is_leaf () const
	Whether a leaf of the ratexp tree. More...

bool	is_unary () const
	Whether star, complement. More...

virtual type_t	type () const =0
	The type of this node. More...

Detailed Description

An inner node.

Member Typedef Documentation

template<typename Label , typename Weight >

using awali::sttc::rat::inner< Label, Weight >::label_t = Label

template<typename Label , typename Weight >

template<typename Label , typename Weight >

template<typename Label , typename Weight >

using awali::sttc::rat::inner< Label, Weight >::weight_t = Weight

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