visitor.hh File Reference

#include <awali/sttc/core/rat/fwd.hh>
#include <awali/sttc/misc/raise.hh>
#include <awali/sttc/core/rat/visitor.hxx>

Go to the source code of this file.

Data Structures
class	awali::sttc::rat::const_visitor< Label, Weight >

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	AWALI_RAT_UNSUPPORTED(Type)
#define	AWALI_RAT_VISIT(Type, Val)
#define	DEFINE(Type)

Macro Definition Documentation

AWALI_RAT_UNSUPPORTED

#define AWALI_RAT_UNSUPPORTED

(

Type

)

Value:

  AWALI_RAT_VISIT(Type,)                                 \
  {                                                     \
    awali::sttc::raise(me(), ": " #Type " is not supported");        \
  }

AWALI_RAT_VISIT

#define AWALI_RAT_VISIT	(		Type,
			Val
	)

Value:

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

DEFINE

#define DEFINE

(

Type

)

Value:

      using Type ## _t = Type<label_t, weight_t>;       \
      virtual void visit(const Type ## _t& v)