mcrl2::data::detail::variable_name Struct Reference

Function object that returns the name of a data variable. More...

#include <data_functional.h>

Public Member Functions
core::identifier_string	operator() (const variable &v) const
	Function call operator.

Detailed Description

Function object that returns the name of a data variable.

Definition at line 70 of file data_functional.h.

Member Function Documentation

operator()()

core::identifier_string mcrl2::data::detail::variable_name::operator() ( const variable &  v ) const

inline

Function call operator.

Parameters

v	A data variable

Returns

The function result

Definition at line 75 of file data_functional.h.

---

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

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