mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
mcrl2::pbes_system::detail::apply_rhs_structured_traverser< Traverser, TermTraits, Parameters > Struct Template Reference

#include <lps2pbes_rhs.h>

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

Public Types

typedef Traverser< apply_rhs_structured_traverser< Traverser, TermTraits, Parameters >, TermTraits, Parameters > super
 

Public Member Functions

 apply_rhs_structured_traverser (Parameters &parameters, const data::variable_list &variables, const fixpoint_symbol &sigma, std::vector< pbes_equation > &equations, TermTraits tr)
 

Detailed Description

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

Definition at line 622 of file lps2pbes_rhs.h.

Member Typedef Documentation

◆ super

template<template< class, class, class > class Traverser, typename TermTraits , typename Parameters >
typedef Traverser<apply_rhs_structured_traverser<Traverser, TermTraits, Parameters>, TermTraits, Parameters> mcrl2::pbes_system::detail::apply_rhs_structured_traverser< Traverser, TermTraits, Parameters >::super

Definition at line 624 of file lps2pbes_rhs.h.

Constructor & Destructor Documentation

◆ apply_rhs_structured_traverser()

template<template< class, class, class > class Traverser, typename TermTraits , typename Parameters >
mcrl2::pbes_system::detail::apply_rhs_structured_traverser< Traverser, TermTraits, Parameters >::apply_rhs_structured_traverser ( Parameters &  parameters,
const data::variable_list &  variables,
const fixpoint_symbol &  sigma,
std::vector< pbes_equation > &  equations,
TermTraits  tr 
)
inline

Definition at line 629 of file lps2pbes_rhs.h.

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