mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
mcrl2::pbes_system::detail::apply_data_rewriter_with_pbes_substitution_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution > Struct Template Reference

#include <simplify_rewriter.h>

Inheritance diagram for mcrl2::pbes_system::detail::apply_data_rewriter_with_pbes_substitution_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >:

Public Types

using super = Builder< apply_data_rewriter_with_pbes_substitution_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >, DataRewriter, MutableSubstitution, PbesSubstitution >
 

Public Member Functions

 apply_data_rewriter_with_pbes_substitution_builder (const DataRewriter &R, MutableSubstitution &sigma, const PbesSubstitution &sigma_pbes)
 
 apply_data_rewriter_with_pbes_substitution_builder (const DataRewriter &R, MutableSubstitution &sigma)
 

Detailed Description

template<template< class, class, class, class > class Builder, class DataRewriter, class MutableSubstitution, class PbesSubstitution = no_substitution>
struct mcrl2::pbes_system::detail::apply_data_rewriter_with_pbes_substitution_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >

Definition at line 271 of file simplify_rewriter.h.

Member Typedef Documentation

◆ super

template<template< class, class, class, class > class Builder, class DataRewriter , class MutableSubstitution , class PbesSubstitution = no_substitution>
using mcrl2::pbes_system::detail::apply_data_rewriter_with_pbes_substitution_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >::super = Builder< apply_data_rewriter_with_pbes_substitution_builder<Builder, DataRewriter, MutableSubstitution, PbesSubstitution>, DataRewriter, MutableSubstitution, PbesSubstitution>

Definition at line 278 of file simplify_rewriter.h.

Constructor & Destructor Documentation

◆ apply_data_rewriter_with_pbes_substitution_builder() [1/2]

template<template< class, class, class, class > class Builder, class DataRewriter , class MutableSubstitution , class PbesSubstitution = no_substitution>
mcrl2::pbes_system::detail::apply_data_rewriter_with_pbes_substitution_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >::apply_data_rewriter_with_pbes_substitution_builder ( const DataRewriter &  R,
MutableSubstitution &  sigma,
const PbesSubstitution &  sigma_pbes 
)
inline

Definition at line 286 of file simplify_rewriter.h.

◆ apply_data_rewriter_with_pbes_substitution_builder() [2/2]

template<template< class, class, class, class > class Builder, class DataRewriter , class MutableSubstitution , class PbesSubstitution = no_substitution>
mcrl2::pbes_system::detail::apply_data_rewriter_with_pbes_substitution_builder< Builder, DataRewriter, MutableSubstitution, PbesSubstitution >::apply_data_rewriter_with_pbes_substitution_builder ( const DataRewriter &  R,
MutableSubstitution &  sigma 
)
inline

Definition at line 290 of file simplify_rewriter.h.

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