mcrl2::data::detail::sort_has_name Struct Reference

#include <data_functional.h>

Public Member Functions
	sort_has_name (std::string const &name)
bool	operator() (const sort_expression &s) const
	Function call operator.

Public Attributes
std::string	m_name

Detailed Description

Definition at line 97 of file data_functional.h.

Constructor & Destructor Documentation

sort_has_name()

mcrl2::data::detail::sort_has_name::sort_has_name ( std::string const &  name )

inline

Definition at line 101 of file data_functional.h.

Member Function Documentation

operator()()

bool mcrl2::data::detail::sort_has_name::operator() ( const sort_expression &  s ) const

inline

Function call operator.

Parameters

s	A sort expression

Returns

The function result

Definition at line 108 of file data_functional.h.

Member Data Documentation

m_name

std::string mcrl2::data::detail::sort_has_name::m_name

Definition at line 99 of file data_functional.h.

---

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

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