![]() |
Awali
Another Weighted Automata library
|
The abstract, non-parameterized, root for all rational expression node types. More...
#include <ratexp.hh>
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... | |
The abstract, non-parameterized, root for all rational expression node types.
The possible types of ratexps.
|
virtualdefault |
bool awali::sttc::rat::exp::is_leaf | ( | ) | const |
Whether a leaf of the ratexp tree.
bool awali::sttc::rat::exp::is_unary | ( | ) | const |
Whether star, complement.
|
pure virtual |