Awali
Another Weighted Automata library
|
#include <string>
#include <ostream>
#include <awali/sttc/misc/raise.hh>
#include <awali/common/enums.hh>
#include <awali/sttc/misc/stream.hh>
#include <awali/sttc/weightset/q.hh>
#include <awali/sttc/weightset/lr_parse_number.hh>
Go to the source code of this file.
Data Structures | |
class | awali::sttc::r |
The semiring of floating Numbers. More... | |
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::sttc | |
Namespace for the static layer of Awali. | |
Functions | |
r | awali::sttc::join (const b &, const r &) |
r | awali::sttc::join (const n &, const r &) |
r | awali::sttc::join (const q &, const r &) |
r | awali::sttc::join (const r &, const b &) |
r | awali::sttc::join (const r &, const n &) |
r | awali::sttc::join (const r &, const q &) |
r | awali::sttc::join (const r &, const r &) |
r | awali::sttc::join (const r &, const z &) |
r | awali::sttc::join (const z &, const r &) |