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

#include <rewrite.h>

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

Public Types
typedef Builder< rewrite_data_expressions_with_substitution_builder< Builder, Rewriter, Substitution > >	super

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

Public Attributes
Rewriter	R
Substitution	sigma

Detailed Description

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

Definition at line 54 of file rewrite.h.

Member Typedef Documentation

super

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

typedef Builder<rewrite_data_expressions_with_substitution_builder<Builder, Rewriter, Substitution> > mcrl2::data::detail::rewrite_data_expressions_with_substitution_builder< Builder, Rewriter, Substitution >::super

Definition at line 56 of file rewrite.h.

Constructor & Destructor Documentation

rewrite_data_expressions_with_substitution_builder()

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

mcrl2::data::detail::rewrite_data_expressions_with_substitution_builder< Builder, Rewriter, Substitution >::rewrite_data_expressions_with_substitution_builder ( Rewriter  R_, Substitution  sigma_  )

inline

Definition at line 65 of file rewrite.h.

Member Function Documentation

apply()

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

template<class T >

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

inline

Definition at line 71 of file rewrite.h.

Member Data Documentation

R

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

Rewriter mcrl2::data::detail::rewrite_data_expressions_with_substitution_builder< Builder, Rewriter, Substitution >::R

Definition at line 62 of file rewrite.h.

sigma

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

Substitution mcrl2::data::detail::rewrite_data_expressions_with_substitution_builder< Builder, Rewriter, Substitution >::sigma

Definition at line 63 of file rewrite.h.

---

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

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