![]()  | 
  
    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) | 
| std::ostream & | std::operator<< (std::ostream &o, const awali::sttc::empty_t &e) | 
| 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 & | e | ||
| ) |