mcrl2::lps::detail::replace_pattern_match_builder< Builder > Struct Template Reference

#include <lpsparunfoldlib.h>

Inheritance diagram for mcrl2::lps::detail::replace_pattern_match_builder< Builder >:

Public Types
typedef Builder< replace_pattern_match_builder< Builder > >	super

Public Member Functions
	replace_pattern_match_builder (pattern_match_unfolder &unfolder)
bool	is_applied_to_constructor (const data::application &x)
template<class T >
void	apply (T &result, const data::application &x)

Public Attributes
pattern_match_unfolder &	m_unfolder
bool	m_currently_recursing = false
std::size_t	m_current_depth = 0

Detailed Description

template<template< class > class Builder>
struct mcrl2::lps::detail::replace_pattern_match_builder< Builder >

Definition at line 463 of file lpsparunfoldlib.h.

Member Typedef Documentation

super

template<template< class > class Builder>

typedef Builder<replace_pattern_match_builder<Builder> > mcrl2::lps::detail::replace_pattern_match_builder< Builder >::super

Definition at line 465 of file lpsparunfoldlib.h.

Constructor & Destructor Documentation

replace_pattern_match_builder()

template<template< class > class Builder>

mcrl2::lps::detail::replace_pattern_match_builder< Builder >::replace_pattern_match_builder ( pattern_match_unfolder &  unfolder )

inline

Definition at line 475 of file lpsparunfoldlib.h.

Member Function Documentation

apply()

template<template< class > class Builder>

template<class T >

void mcrl2::lps::detail::replace_pattern_match_builder< Builder >::apply ( T &  result, const data::application &  x  )

inline

Definition at line 494 of file lpsparunfoldlib.h.

is_applied_to_constructor()

template<template< class > class Builder>

bool mcrl2::lps::detail::replace_pattern_match_builder< Builder >::is_applied_to_constructor ( const data::application &  x )

inline

Definition at line 479 of file lpsparunfoldlib.h.

Member Data Documentation

m_current_depth

template<template< class > class Builder>

std::size_t mcrl2::lps::detail::replace_pattern_match_builder< Builder >::m_current_depth = 0

Definition at line 473 of file lpsparunfoldlib.h.

m_currently_recursing

template<template< class > class Builder>

bool mcrl2::lps::detail::replace_pattern_match_builder< Builder >::m_currently_recursing = false

Definition at line 472 of file lpsparunfoldlib.h.

m_unfolder

template<template< class > class Builder>

pattern_match_unfolder& mcrl2::lps::detail::replace_pattern_match_builder< Builder >::m_unfolder

Definition at line 471 of file lpsparunfoldlib.h.

---

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

• lps/include/mcrl2/lps/lpsparunfoldlib.h