![]() |
Awali
Another Weighted Automata library
|
#include <functional>#include <iostream>Go to the source code of this file.
Data Structures | |
| struct | awali::sttc::empty_t |
| Empty labels, for LAO. More... | |
| struct | std::hash< awali::sttc::empty_t > |
Namespaces | |
| awali | |
| Main namespace of Awali. | |
| awali::sttc | |
| Namespace for the static layer of Awali. | |
Functions | |
| bool | awali::sttc::operator!= (empty_t, empty_t) |
| empty_t & | awali::sttc::operator-- (empty_t &e) |
| bool | awali::sttc::operator< (empty_t, empty_t) |
| std::ostream & | std::operator<< (std::ostream &o, const awali::sttc::empty_t &) |
| bool | awali::sttc::operator<= (empty_t, empty_t) |
| bool | awali::sttc::operator== (empty_t, empty_t) |
| bool | awali::sttc::operator> (empty_t, empty_t) |
| bool | awali::sttc::operator>= (empty_t, empty_t) |
| struct awali::sttc::empty_t |
Empty labels, for LAO.
| std::ostream& std::operator<< | ( | std::ostream & | o, |
| const awali::sttc::empty_t & | |||
| ) |