Awali
Another Weighted Automata library
|
#include <ratexp.hh>
Public Types | |
using | label_t = Label |
using | node_t = node< label_t, weight_t > |
using | super_type = leaf< label_t, weight_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::leaf< Label, Weight > | |
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... | |
Public Member Functions | |
atom (const label_t &value) | |
virtual void | accept (typename node_t::const_visitor &v) const override |
virtual type_t | type () const override |
The type of this node. More... | |
const label_t & | value () const |
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... | |
using awali::sttc::rat::atom< Label, Weight >::label_t = Label |
using awali::sttc::rat::atom< Label, Weight >::node_t = node<label_t, weight_t> |
using awali::sttc::rat::atom< Label, Weight >::super_type = leaf<label_t, weight_t> |
using awali::sttc::rat::atom< Label, Weight >::type_t = typename node_t::type_t |
using awali::sttc::rat::atom< Label, Weight >::value_t = typename node_t::value_t |
using awali::sttc::rat::atom< Label, Weight >::weight_t = Weight |
awali::sttc::rat::atom< Label, Weight >::atom | ( | const label_t & | value | ) |
|
overridevirtual |
Implements awali::sttc::rat::node< Label, Weight >.
|
overridevirtual |
The type of this node.
Implements awali::sttc::rat::exp.
auto awali::sttc::rat::atom< Label, Weight >::value |