mcrl2::pbes_system::detail::apply_rhs_traverser< Traverser, TermTraits, Parameters > Struct Template Reference

#include <lps2pbes_rhs.h>

Inheritance diagram for mcrl2::pbes_system::detail::apply_rhs_traverser< Traverser, TermTraits, Parameters >:

Public Types
typedef Traverser< apply_rhs_traverser< Traverser, TermTraits, Parameters >, TermTraits, Parameters >	super

Public Member Functions
	apply_rhs_traverser (Parameters &parameters, TermTraits tr)

Detailed Description

template<template< class, class, class > class Traverser, typename TermTraits, typename Parameters>
struct mcrl2::pbes_system::detail::apply_rhs_traverser< Traverser, TermTraits, Parameters >

Definition at line 490 of file lps2pbes_rhs.h.

Member Typedef Documentation

super

template<template< class, class, class > class Traverser, typename TermTraits , typename Parameters >

typedef Traverser<apply_rhs_traverser<Traverser, TermTraits, Parameters>, TermTraits, Parameters> mcrl2::pbes_system::detail::apply_rhs_traverser< Traverser, TermTraits, Parameters >::super

Definition at line 492 of file lps2pbes_rhs.h.

Constructor & Destructor Documentation

apply_rhs_traverser()

template<template< class, class, class > class Traverser, typename TermTraits , typename Parameters >

mcrl2::pbes_system::detail::apply_rhs_traverser< Traverser, TermTraits, Parameters >::apply_rhs_traverser ( Parameters &  parameters, TermTraits  tr  )

inline

Definition at line 497 of file lps2pbes_rhs.h.

---

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

• pbes/include/mcrl2/pbes/detail/lps2pbes_rhs.h