Awali
Another Weighted Automata library
Data Structures | Namespaces | Functions
empty.hh File Reference
#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)
 

Data Structure Documentation

◆ awali::sttc::empty_t

struct awali::sttc::empty_t

Empty labels, for LAO.

Function Documentation

◆ operator<<()

std::ostream& std::operator<< ( std::ostream &  o,
const awali::sttc::empty_t  
)