awali::sttc::rat::unary< Type, Label, Weight > Class Template Reference

#include <ratexp.hh>

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

Public Types
using	label_t = Label
using	node_t = node< label_t, weight_t >
using	super_type = inner< label_t, weight_t >
using	value_t = typename node_t::value_t
using	weight_t = Weight
Public Types inherited from awali::sttc::rat::inner< Label, Weight >
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...

Public Member Functions
	unary (value_t exp)
virtual void	accept (typename node_t::const_visitor &v) const override
const value_t	sub () const
virtual type_t	type () const override
	The type of this node. More...
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...

Member Typedef Documentation

label_t

template<exp::type_t Type, typename Label , typename Weight >

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

node_t

template<exp::type_t Type, typename Label , typename Weight >

using awali::sttc::rat::unary< Type, Label, Weight >::node_t = node<label_t, weight_t>

super_type

template<exp::type_t Type, typename Label , typename Weight >

using awali::sttc::rat::unary< Type, Label, Weight >::super_type = inner<label_t, weight_t>

value_t

template<exp::type_t Type, typename Label , typename Weight >

using awali::sttc::rat::unary< Type, Label, Weight >::value_t = typename node_t::value_t

weight_t

template<exp::type_t Type, typename Label , typename Weight >

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

Constructor & Destructor Documentation

unary()

template<type_t Type, typename Label , typename Weight >

awali::sttc::rat::unary< Type, Label, Weight >::unary

(

value_t

exp

)

Member Function Documentation

accept()

template<type_t Type, typename Label , typename Weight >

auto awali::sttc::rat::unary< Type, Label, Weight >::accept ( typename node_t::const_visitor &  v ) const

overridevirtual

Implements awali::sttc::rat::node< Label, Weight >.

sub()

template<type_t Type, typename Label , typename Weight >

auto awali::sttc::rat::unary< Type, Label, Weight >::sub

type()

template<exp::type_t Type, typename Label , typename Weight >

virtual type_t awali::sttc::rat::unary< Type, Label, Weight >::type ( ) const

overridevirtual

The type of this node.

Implements awali::sttc::rat::exp.

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/fwd.hh
• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/ratexp.hh
• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/ratexp.hxx