mcrl2::data::detail::sort_of_expression< Expression > Struct Template Reference

Function object that returns the sort of a data expression. More...

#include <data_functional.h>

Public Member Functions
sort_expression	operator() (const Expression &e) const
	Function call operator.

Detailed Description

template<typename Expression>
struct mcrl2::data::detail::sort_of_expression< Expression >

Function object that returns the sort of a data expression.

Definition at line 83 of file data_functional.h.

Member Function Documentation

operator()()

template<typename Expression >

sort_expression mcrl2::data::detail::sort_of_expression< Expression >::operator() ( const Expression &  e ) const

inline

Function call operator.

Parameters

v	A data variable

Returns

The function result

Definition at line 88 of file data_functional.h.

---

The documentation for this struct was generated from the following file:

• data/include/mcrl2/data/detail/data_functional.h