mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
mcrl2::pbes_system::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction > Struct Template Reference

#include <data_rewriter.h>

Inheritance diagram for mcrl2::pbes_system::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >:
mcrl2::pbes_system::detail::data_rewriter_builder< pbesinst_finite_builder< DataRewriter, SubstitutionFunction >, DataRewriter, SubstitutionFunction > mcrl2::pbes_system::detail::pbesinst_finite_builder< DataRewriter, SubstitutionFunction >

Public Types

using super = Builder< Derived >
 

Public Member Functions

 add_data_rewriter (const DataRewriter &R_, SubstitutionFunction &sigma_)
 
template<atermpp::IsATerm T>
void apply (T &result, const data::data_expression &x)
 
template<class T >
void apply (T &result, const propositional_variable_instantiation &x)
 

Public Attributes

const DataRewriter & R
 
SubstitutionFunction & sigma
 

Detailed Description

template<template< class > class Builder, class Derived, class DataRewriter, class SubstitutionFunction = data::no_substitution>
struct mcrl2::pbes_system::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >

Definition at line 40 of file data_rewriter.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
using mcrl2::pbes_system::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::super = Builder<Derived>

Definition at line 42 of file data_rewriter.h.

Constructor & Destructor Documentation

◆ add_data_rewriter()

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
mcrl2::pbes_system::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::add_data_rewriter ( const DataRewriter &  R_,
SubstitutionFunction &  sigma_ 
)
inline

Definition at line 48 of file data_rewriter.h.

Member Function Documentation

◆ apply() [1/2]

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
template<atermpp::IsATerm T>
void mcrl2::pbes_system::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::apply ( T &  result,
const data::data_expression &  x 
)
inline

Definition at line 53 of file data_rewriter.h.

◆ apply() [2/2]

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
template<class T >
void mcrl2::pbes_system::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::apply ( T &  result,
const propositional_variable_instantiation &  x 
)
inline

Definition at line 59 of file data_rewriter.h.

Member Data Documentation

◆ R

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
const DataRewriter& mcrl2::pbes_system::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::R

Definition at line 45 of file data_rewriter.h.

◆ sigma

template<template< class > class Builder, class Derived , class DataRewriter , class SubstitutionFunction = data::no_substitution>
SubstitutionFunction& mcrl2::pbes_system::detail::add_data_rewriter< Builder, Derived, DataRewriter, SubstitutionFunction >::sigma

Definition at line 46 of file data_rewriter.h.

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