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

#include <find.h>

Inheritance diagram for mcrl2::pbes_system::detail::find_propositional_variables_traverser< Traverser, OutputIterator >:

Public Types

using super = Traverser< find_propositional_variables_traverser< Traverser, OutputIterator > >
 

Public Member Functions

 find_propositional_variables_traverser (OutputIterator out_)
 
void apply (const data::data_expression &)
 
void apply (const propositional_variable_instantiation &v)
 

Public Attributes

OutputIterator out
 

Detailed Description

template<template< class > class Traverser, class OutputIterator>
struct mcrl2::pbes_system::detail::find_propositional_variables_traverser< Traverser, OutputIterator >

Definition at line 25 of file find.h.

Member Typedef Documentation

◆ super

template<template< class > class Traverser, class OutputIterator >
using mcrl2::pbes_system::detail::find_propositional_variables_traverser< Traverser, OutputIterator >::super = Traverser<find_propositional_variables_traverser<Traverser, OutputIterator> >

Definition at line 27 of file find.h.

Constructor & Destructor Documentation

◆ find_propositional_variables_traverser()

template<template< class > class Traverser, class OutputIterator >
mcrl2::pbes_system::detail::find_propositional_variables_traverser< Traverser, OutputIterator >::find_propositional_variables_traverser ( OutputIterator  out_)
inline

Definition at line 34 of file find.h.

Member Function Documentation

◆ apply() [1/2]

template<template< class > class Traverser, class OutputIterator >
void mcrl2::pbes_system::detail::find_propositional_variables_traverser< Traverser, OutputIterator >::apply ( const data::data_expression &  )
inline

Definition at line 39 of file find.h.

◆ apply() [2/2]

template<template< class > class Traverser, class OutputIterator >
void mcrl2::pbes_system::detail::find_propositional_variables_traverser< Traverser, OutputIterator >::apply ( const propositional_variable_instantiation &  v)
inline

Definition at line 42 of file find.h.

Member Data Documentation

◆ out

template<template< class > class Traverser, class OutputIterator >
OutputIterator mcrl2::pbes_system::detail::find_propositional_variables_traverser< Traverser, OutputIterator >::out

Definition at line 32 of file find.h.

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