less_than.hh File Reference

#include <awali/sttc/misc/cast.hh>
#include <awali/sttc/core/rat/fwd.hh>
#include <awali/sttc/core/rat/size.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::rat::less_than< 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	VISIT(Type)

Functions
template<class RatExpSet >
RatExpSet::ratexp_t	awali::sttc::less_than (const RatExpSet &rs, const typename RatExpSet::ratexp_t &v)

Macro Definition Documentation

VISIT

#define VISIT

(

Type

)

Value:

      using Type ## _t = typename super_type::Type ## _t;               \
      virtual void                                                      \
      visit(const Type ## _t& lhs) override                             \
      {                                                                 \
        res_ = less_than_(lhs, *down_pointer_cast<const Type ## _t>(rhs_)); \
      }