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 >


 Main namespace of Awali.
 Namespace for the static layer of Awali.


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