![]() |
Awali
Another Weighted Automata library
|
#include <awali/sttc/core/rat/visitor.hh>#include <awali/sttc/ctx/fwd.hh>#include <awali/sttc/misc/raise.hh>#include <stack>#include <iostream>Go to the source code of this file.
Data Structures | |
| class | awali::sttc::rat::print_visitor< RatExpSet > |
Namespaces | |
| awali | |
| Main namespace of Awali. | |
| awali::sttc | |
| Namespace for the static layer of Awali. | |
| awali::sttc::rat | |
| Namespace about static rational expressions. | |
Macros | |
| #define | DEBUG_IF(Then) DEBUG_IFELSE(Then,) |
| #define | DEBUG_IFELSE(Then, Else) Else |
Functions | |
| template<typename RatExpSet > | |
| std::ostream & | awali::sttc::print (const RatExpSet &rs, const typename RatExpSet::ratexp_t &e, std::ostream &o, bool with_dot=false) |
| #define DEBUG_IF | ( | Then | ) | DEBUG_IFELSE(Then,) |
| #define DEBUG_IFELSE | ( | Then, | |
| Else | |||
| ) | Else |