mcrl2::data::detail::rewrite_data_expressions_builder< Builder, Rewriter > Struct Template Reference

#include <rewrite.h>

Inheritance diagram for mcrl2::data::detail::rewrite_data_expressions_builder< Builder, Rewriter >:

Public Types
typedef Builder< rewrite_data_expressions_builder< Builder, Rewriter > >	super

Public Member Functions
	rewrite_data_expressions_builder (Rewriter R_)
template<class T >
void	apply (T &result, const data_expression &x)

Public Attributes
Rewriter	R

Detailed Description

template<template< class > class Builder, class Rewriter>
struct mcrl2::data::detail::rewrite_data_expressions_builder< Builder, Rewriter >

Definition at line 25 of file rewrite.h.

Member Typedef Documentation

super

template<template< class > class Builder, class Rewriter >

typedef Builder<rewrite_data_expressions_builder<Builder, Rewriter> > mcrl2::data::detail::rewrite_data_expressions_builder< Builder, Rewriter >::super

Definition at line 27 of file rewrite.h.

Constructor & Destructor Documentation

rewrite_data_expressions_builder()

template<template< class > class Builder, class Rewriter >

mcrl2::data::detail::rewrite_data_expressions_builder< Builder, Rewriter >::rewrite_data_expressions_builder ( Rewriter  R_ )

inline

Definition at line 35 of file rewrite.h.

Member Function Documentation

apply()

template<template< class > class Builder, class Rewriter >

template<class T >

void mcrl2::data::detail::rewrite_data_expressions_builder< Builder, Rewriter >::apply ( T &  result, const data_expression &  x  )

inline

Definition at line 40 of file rewrite.h.

Member Data Documentation

R

template<template< class > class Builder, class Rewriter >

Rewriter mcrl2::data::detail::rewrite_data_expressions_builder< Builder, Rewriter >::R

Definition at line 33 of file rewrite.h.

---

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

• data/include/mcrl2/data/rewrite.h