mcrl2::data::detail::normalizer< Function > Struct Template Reference

#include <test_rewriters.h>

Public Member Functions
	normalizer (const Function &f0)
data_expression	operator() (const data_expression &t) const

Public Attributes
const Function &	f

Detailed Description

template<typename Function>
struct mcrl2::data::detail::normalizer< Function >

Definition at line 164 of file test_rewriters.h.

Constructor & Destructor Documentation

normalizer()

template<typename Function >

mcrl2::data::detail::normalizer< Function >::normalizer ( const Function &  f0 )

inline

Definition at line 168 of file test_rewriters.h.

Member Function Documentation

operator()()

template<typename Function >

data_expression mcrl2::data::detail::normalizer< Function >::operator() ( const data_expression &  t ) const

inline

Definition at line 172 of file test_rewriters.h.

Member Data Documentation

f

template<typename Function >

const Function& mcrl2::data::detail::normalizer< Function >::f

Definition at line 166 of file test_rewriters.h.

---

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

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