mcrl2::data::detail::compare_term< Term > Struct Template Reference

#include <data_functional.h>

Public Member Functions
	compare_term (const Term &t)
template<typename Term2 >
bool	operator() (Term2 t) const
	Function call operator.

Public Attributes
const Term &	term

Detailed Description

template<typename Term>
struct mcrl2::data::detail::compare_term< Term >

Definition at line 26 of file data_functional.h.

Constructor & Destructor Documentation

compare_term()

template<typename Term >

mcrl2::data::detail::compare_term< Term >::compare_term ( const Term &  t )

inline

Definition at line 30 of file data_functional.h.

Member Function Documentation

operator()()

template<typename Term >

template<typename Term2 >

bool mcrl2::data::detail::compare_term< Term >::operator() ( Term2  t ) const

inline

Function call operator.

Parameters

t

A term

Returns

The function result

Definition at line 38 of file data_functional.h.

Member Data Documentation

term

template<typename Term >

const Term& mcrl2::data::detail::compare_term< Term >::term

Definition at line 28 of file data_functional.h.

---

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

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