abstract_ratexp.hh File Reference

#include <memory>
#include <vector>
#include <iostream>
#include <awali/dyn/core/any.hh>
#include <awali/dyn/core/context.hh>
#include <awali/dyn/core/typedefs.hh>

Go to the source code of this file.

Data Structures
class	awali::dyn::abstract_ratexp_t
	Abstract interface for rational expression at the dynamical layer; lists the services provided by automata. More...

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.

Enumerations
enum class	awali::dyn::ExpKind {   awali::dyn::ZERO , awali::dyn::ONE , awali::dyn::ATOM , awali::dyn::SUM ,   awali::dyn::PROD , awali::dyn::STAR }

Functions
std::ostream &	awali::dyn::operator<< (std::ostream &o, ratexp_t e)