mcrl2::data::detail::function_symbol_has_name Struct Reference

#include <data_functional.h>

Public Member Functions
	function_symbol_has_name (std::string const &name)
bool	operator() (const function_symbol &c) const
	Function call operator.

Public Attributes
std::string	m_name

Detailed Description

Definition at line 112 of file data_functional.h.

Constructor & Destructor Documentation

function_symbol_has_name()

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

inline

Definition at line 116 of file data_functional.h.

Member Function Documentation

operator()()

bool mcrl2::data::detail::function_symbol_has_name::operator() ( const function_symbol &  c ) const

inline

Function call operator.

Parameters

c	A data operation

Returns

The function result

Definition at line 123 of file data_functional.h.

Member Data Documentation

m_name

std::string mcrl2::data::detail::function_symbol_has_name::m_name

Definition at line 114 of file data_functional.h.

---

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

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