![]() |
Awali
Another Weighted Automata library
|
Go to the source code of this file.
Data Structures | |
| struct | awali::sttc::internal::pass |
| Ignore its arguments. 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). | |
Functions | |
| template<typename... Args> | |
| ATTRIBUTE_NORETURN void | awali::sttc::raise (Args &&... args) |
| Raise a runtime_error with the concatenation of args as message. More... | |
| template<typename... Args> | |
| void | awali::sttc::require (bool b, Args &&... args) |
| If b is not verified, raise an error with args as message. More... | |