identities.hh File Reference

#include <iostream>
#include <string>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::rat
	Namespace about static rational expressions.

Enumerations
enum class	awali::sttc::rat::identities { awali::sttc::rat::trivial , awali::sttc::rat::associativity , awali::sttc::rat::series }
	A ratexpset can implement several different sets of identities on expressions. More...

Functions
identities	awali::sttc::rat::join (identities i1, identities i2)
identities	awali::sttc::rat::meet (identities i1, identities i2)
std::ostream &	awali::sttc::rat::operator<< (std::ostream &os, identities i)
std::istream &	awali::sttc::rat::operator>> (std::istream &is, identities &i)
std::string	awali::sttc::rat::to_string (identities i)