Function object that determines if a term is equal to a given data variable. More...

Inheritance diagram for mcrl2::data::detail::compare_variable:

Public Member Functions
	compare_variable (const variable &v)

Public Member Functions inherited from mcrl2::data::detail::compare_term< variable >
	compare_term (const variable &t)

bool	operator() (Term2 t) const
	Function call operator.

Additional Inherited Members
Public Attributes inherited from mcrl2::data::detail::compare_term< variable >
const variable &	term

Detailed Description

Function object that determines if a term is equal to a given data variable.

Definition at line 62 of file data_functional.h.

Constructor & Destructor Documentation

mcrl2::data::detail::compare_variable::compare_variable ( const variable & v )

inline

Definition at line 64 of file data_functional.h.

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