mcrl2::pbes_system::detail::add_simplify< Builder, Derived > Struct Template Reference

#include <simplify_rewriter.h>

Inheritance diagram for mcrl2::pbes_system::detail::add_simplify< Builder, Derived >:

Public Types
using	super = Builder< Derived >

Public Member Functions
template<class T >
void	apply (T &result, const not_ &x)
template<class T >
void	apply (T &result, const and_ &x)
template<class T >
void	apply (T &result, const or_ &x)
template<class T >
void	apply (T &result, const imp &x)
template<class T >
void	apply (T &result, const forall &x)
template<class T >
void	apply (T &result, const exists &x)

Detailed Description

template<template< class > class Builder, class Derived>
struct mcrl2::pbes_system::detail::add_simplify< Builder, Derived >

Definition at line 28 of file simplify_rewriter.h.

Member Typedef Documentation

super

template<template< class > class Builder, class Derived >

using mcrl2::pbes_system::detail::add_simplify< Builder, Derived >::super = Builder<Derived>

Definition at line 30 of file simplify_rewriter.h.

Member Function Documentation

apply() [1/6]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::pbes_system::detail::add_simplify< Builder, Derived >::apply ( T &  result, const and_ &  x  )

inline

Definition at line 57 of file simplify_rewriter.h.

apply() [2/6]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::pbes_system::detail::add_simplify< Builder, Derived >::apply ( T &  result, const exists &  x  )

inline

Definition at line 186 of file simplify_rewriter.h.

apply() [3/6]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::pbes_system::detail::add_simplify< Builder, Derived >::apply ( T &  result, const forall &  x  )

inline

Definition at line 179 of file simplify_rewriter.h.

apply() [4/6]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::pbes_system::detail::add_simplify< Builder, Derived >::apply ( T &  result, const imp &  x  )

inline

Definition at line 129 of file simplify_rewriter.h.

apply() [5/6]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::pbes_system::detail::add_simplify< Builder, Derived >::apply ( T &  result, const not_ &  x  )

inline

Definition at line 34 of file simplify_rewriter.h.

apply() [6/6]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::pbes_system::detail::add_simplify< Builder, Derived >::apply ( T &  result, const or_ &  x  )

inline

Definition at line 93 of file simplify_rewriter.h.

---

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

• pbes/include/mcrl2/pbes/rewriters/simplify_rewriter.h