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 & | |||
) |