Awali
Another Weighted Automata library
Data Structures | Namespaces | Enumerations | Functions
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  awali::dyn::ExpKind {
  awali::dyn::ExpKind::ZERO, awali::dyn::ExpKind::ONE, awali::dyn::ExpKind::ATOM, awali::dyn::ExpKind::SUM,
  awali::dyn::ExpKind::PROD, awali::dyn::ExpKind::STAR
}
 

Functions

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