Awali
Another Weighted Automata library
Public Types
awali::sttc::rat::leaf< Label, Weight > Class Template Reference

The root from which to derive the final node types. More...

#include <ratexp.hh>

Inheritance diagram for awali::sttc::rat::leaf< Label, Weight >:
awali::sttc::rat::node< Label, Weight > awali::sttc::rat::exp awali::sttc::rat::atom< Label, Weight > awali::sttc::rat::constant< Type, Label, Weight >

Public Types

using label_t = Label
 
using node_t = node< label_t, weight_t >
 
using super_type = node_t
 
using type_t = typename node_t::type_t
 
using value_t = typename node_t::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

template<typename Label, typename Weight>
class awali::sttc::rat::leaf< Label, Weight >

The root from which to derive the final node types.

Member Typedef Documentation

◆ label_t

template<typename Label , typename Weight >
using awali::sttc::rat::leaf< Label, Weight >::label_t = Label

◆ node_t

template<typename Label , typename Weight >
using awali::sttc::rat::leaf< Label, Weight >::node_t = node<label_t, weight_t>

◆ super_type

template<typename Label , typename Weight >
using awali::sttc::rat::leaf< Label, Weight >::super_type = node_t

◆ type_t

template<typename Label , typename Weight >
using awali::sttc::rat::leaf< Label, Weight >::type_t = typename node_t::type_t

◆ value_t

template<typename Label , typename Weight >
using awali::sttc::rat::leaf< Label, Weight >::value_t = typename node_t::value_t

◆ weight_t

template<typename Label , typename Weight >
using awali::sttc::rat::leaf< Label, Weight >::weight_t = Weight

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