Awali
Another Weighted Automata library
|
#include <awali/sttc/core/rat/ratexpset.hh>
#include <awali/sttc/core/rat/ratexp.hh>
#include <awali/sttc/labelset/tupleset.hh>
#include <awali/sttc/alphabets/pair.hh>
#include <awali/common/parse_exception.cc>
#include <string>
#include <list>
Go to the source code of this file.
Data Structures | |
struct | awali::sttc::internal::exp_parser< RatExpSet > |
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::sttc | |
Namespace for the static layer of Awali. | |
awali::sttc::internal | |
Implementation details of static layer (not stable). | |
Functions | |
template<typename RatExpSet > | |
RatExpSet::ratexp_t | awali::sttc::parse_exp (const RatExpSet &ratexpset, const std::string &s, bool check_complete=true, bool strict_alphabet=true) |
parser of rational expressions More... | |