![]() |
Awali
Another Weighted Automata library
|
#include <iostream>Go to the source code of this file.
Data Structures | |
| struct | awali::sttc::internal::down_caster |
| A functor that captures the current location (to report errors), and provides "cast". More... | |
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). | |
Macros | |
| #define | down_cast ::awali::sttc::internal::down_caster(__FILE__, __LINE__).cast |
| #define | down_pointer_cast down_cast |
| #define down_cast ::awali::sttc::internal::down_caster(__FILE__, __LINE__).cast |
| #define down_pointer_cast down_cast |