Awali
Another Weighted Automata library
Public Types | Public Member Functions
awali::sttc::rat::exp Class Referenceabstract

The abstract, non-parameterized, root for all rational expression node types. More...

#include <ratexp.hh>

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

Public Types

using type_t = rat::type_t
 The possible types of ratexps. More...
 

Public Member Functions

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

The abstract, non-parameterized, root for all rational expression node types.

Member Typedef Documentation

◆ type_t

The possible types of ratexps.

Constructor & Destructor Documentation

◆ ~exp()

virtual awali::sttc::rat::exp::~exp ( )
virtualdefault

Member Function Documentation

◆ is_leaf()

bool awali::sttc::rat::exp::is_leaf ( ) const

Whether a leaf of the ratexp tree.

◆ is_unary()

bool awali::sttc::rat::exp::is_unary ( ) const

Whether star, complement.

◆ type()

virtual type_t awali::sttc::rat::exp::type ( ) const
pure virtual

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