star_height.hh File Reference

#include <awali/sttc/core/rat/visitor.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::star_heighter< RatExpSet >

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).

Macros
#define	DEFINE(Type)

Functions
template<typename RatExpSet >
unsigned	awali::sttc::star_height (const typename RatExpSet::ratexp_t &e)
	Star height of a ratexp. More...

Macro Definition Documentation

DEFINE

#define DEFINE

(

Type

)

Value:

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