Awali
Another Weighted Automata library
Public Types | Public Member Functions
awali::sttc::rat::unary< Type, Label, Weight > Class Template Reference

#include <ratexp.hh>

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

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

◆ 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: