ratexp.hh File Reference

#include <memory>
#include <awali/dyn/core/abstract_ratexp.hh>
#include <awali/dyn/core/abstract_context.hh>
#include <awali/dyn/core/context_description.hh>

Go to the source code of this file.

Data Structures
class	awali::dyn::ratexp_t
	Main class for representing rational expresson at the dynamical layer. More...
struct	awali::dyn::ratexp_t::with_int_labels
	Helper class that contains convenience factories to build expressions whose labels are integers. More...
struct	awali::dyn::ratexp_t::with_tuple_labels
	Helper class that contains convenience factories to build expressions whose labels are tuples. More...

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