printer.hh File Reference

#include <iostream>
#include <awali/sttc/ctx/traits.hh>
#include <awali/sttc/core/rat/identities.hh>
#include <awali/sttc/core/rat/visitor.hh>
#include <awali/sttc/misc/attributes.hh>
#include <awali/sttc/misc/cast.hh>
#include <awali/sttc/core/rat/printer.hxx>

Go to the source code of this file.

Data Structures
class	awali::sttc::rat::printer< RatExpSet >

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

Macros
#define	DEFINE(Type)

Macro Definition Documentation

DEFINE

#define DEFINE

(

Type

)

Value:

      using Type ## _t = typename super_type::Type ## _t;       \
      virtual void visit(const Type ## _t& v)