mCRL2
Loading...
Searching...
No Matches
mcrl2::lps::parunfold_replacement< Builder, Binder > Struct Template Reference

#include <lpsparunfoldlib.h>

Inheritance diagram for mcrl2::lps::parunfold_replacement< Builder, Binder >:

Public Types

typedef Binder< Builder, parunfold_replacement< Builder, Binder >, parunfold_replacement< Builder, Binder > > super
 

Public Member Functions

 parunfold_replacement (const lpsparunfold::case_func_replacement &case_funcs, data::set_identifier_generator &id_generator)
 
template<class T >
void apply (T &result, const data::application &x)
 
void apply_case_function (data::data_expression &result, const data::application &expr)
 
data::data_expression operator() (const data::variable &x)
 

Public Attributes

data::detail::capture_avoiding_substitution_updater< parunfold_replacement< Builder, Binder > > sigma1
 
lpsparunfold::case_func_replacement case_funcs
 
data::data_expression current_replacement
 

Detailed Description

template<template< class > class Builder, template< template< class > class, class, class > class Binder>
struct mcrl2::lps::parunfold_replacement< Builder, Binder >

Definition at line 666 of file lpsparunfoldlib.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, template< template< class > class, class, class > class Binder>
typedef Binder<Builder, parunfold_replacement<Builder, Binder>, parunfold_replacement<Builder, Binder> > mcrl2::lps::parunfold_replacement< Builder, Binder >::super

Definition at line 669 of file lpsparunfoldlib.h.

Constructor & Destructor Documentation

◆ parunfold_replacement()

template<template< class > class Builder, template< template< class > class, class, class > class Binder>
mcrl2::lps::parunfold_replacement< Builder, Binder >::parunfold_replacement ( const lpsparunfold::case_func_replacement case_funcs,
data::set_identifier_generator id_generator 
)
inline

Definition at line 679 of file lpsparunfoldlib.h.

Member Function Documentation

◆ apply()

template<template< class > class Builder, template< template< class > class, class, class > class Binder>
template<class T >
void mcrl2::lps::parunfold_replacement< Builder, Binder >::apply ( T &  result,
const data::application x 
)
inline

Definition at line 688 of file lpsparunfoldlib.h.

◆ apply_case_function()

template<template< class > class Builder, template< template< class > class, class, class > class Binder>
void mcrl2::lps::parunfold_replacement< Builder, Binder >::apply_case_function ( data::data_expression result,
const data::application expr 
)
inline

Definition at line 702 of file lpsparunfoldlib.h.

◆ operator()()

template<template< class > class Builder, template< template< class > class, class, class > class Binder>
data::data_expression mcrl2::lps::parunfold_replacement< Builder, Binder >::operator() ( const data::variable x)
inline

Definition at line 737 of file lpsparunfoldlib.h.

Member Data Documentation

◆ case_funcs

template<template< class > class Builder, template< template< class > class, class, class > class Binder>
lpsparunfold::case_func_replacement mcrl2::lps::parunfold_replacement< Builder, Binder >::case_funcs

Definition at line 676 of file lpsparunfoldlib.h.

◆ current_replacement

template<template< class > class Builder, template< template< class > class, class, class > class Binder>
data::data_expression mcrl2::lps::parunfold_replacement< Builder, Binder >::current_replacement

Definition at line 677 of file lpsparunfoldlib.h.

◆ sigma1

template<template< class > class Builder, template< template< class > class, class, class > class Binder>
data::detail::capture_avoiding_substitution_updater<parunfold_replacement<Builder, Binder> > mcrl2::lps::parunfold_replacement< Builder, Binder >::sigma1

Definition at line 675 of file lpsparunfoldlib.h.


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