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
using	super = Builder< rewrite_data_expressions_builder< Builder, Rewriter > >

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 24 of file rewrite.h.

Member Typedef Documentation

super

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

using mcrl2::data::detail::rewrite_data_expressions_builder< Builder, Rewriter >::super = Builder<rewrite_data_expressions_builder<Builder, Rewriter> >

Definition at line 26 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 34 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 39 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 32 of file rewrite.h.

---

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

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