![]() |
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 |