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

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, IsSubstitution Substitution>
struct mcrl2::data::detail::rewrite_data_expressions_with_substitution_builder< Builder, Rewriter, Substitution >

Definition at line 53 of file rewrite.h.

Member Typedef Documentation

super

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

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

Definition at line 55 of file rewrite.h.

Constructor & Destructor Documentation

rewrite_data_expressions_with_substitution_builder()

template<template< class > class Builder, class Rewriter , IsSubstitution 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 64 of file rewrite.h.

Member Function Documentation

apply()

template<template< class > class Builder, class Rewriter , IsSubstitution 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 70 of file rewrite.h.

Member Data Documentation

R

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

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

Definition at line 61 of file rewrite.h.

sigma

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

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

Definition at line 62 of file rewrite.h.

---

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

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