mcrl2::state_formulas::detail::find_free_state_variables_traverser< Traverser, Binder, OutputIterator > Struct Template Reference

#include <find.h>

Inheritance diagram for mcrl2::state_formulas::detail::find_free_state_variables_traverser< Traverser, Binder, OutputIterator >:

Public Types
typedef Binder< Traverser, find_free_state_variables_traverser< Traverser, Binder, OutputIterator > >	super

Public Member Functions
	find_free_state_variables_traverser (OutputIterator out_)
void	apply (const variable &v)

Public Attributes
OutputIterator	out

Detailed Description

template<template< class > class Traverser, template< template< class > class, class > class Binder, class OutputIterator>
struct mcrl2::state_formulas::detail::find_free_state_variables_traverser< Traverser, Binder, OutputIterator >

Definition at line 471 of file find.h.

Member Typedef Documentation

super

template<template< class > class Traverser, template< template< class > class, class > class Binder, class OutputIterator >

typedef Binder<Traverser, find_free_state_variables_traverser<Traverser, Binder, OutputIterator> > mcrl2::state_formulas::detail::find_free_state_variables_traverser< Traverser, Binder, OutputIterator >::super

Definition at line 473 of file find.h.

Constructor & Destructor Documentation

find_free_state_variables_traverser()

template<template< class > class Traverser, template< template< class > class, class > class Binder, class OutputIterator >

mcrl2::state_formulas::detail::find_free_state_variables_traverser< Traverser, Binder, OutputIterator >::find_free_state_variables_traverser ( OutputIterator  out_ )

inline

Definition at line 483 of file find.h.

Member Function Documentation

apply()

template<template< class > class Traverser, template< template< class > class, class > class Binder, class OutputIterator >

void mcrl2::state_formulas::detail::find_free_state_variables_traverser< Traverser, Binder, OutputIterator >::apply ( const variable &  v )

inline

Definition at line 496 of file find.h.

Member Data Documentation

out

template<template< class > class Traverser, template< template< class > class, class > class Binder, class OutputIterator >

OutputIterator mcrl2::state_formulas::detail::find_free_state_variables_traverser< Traverser, Binder, OutputIterator >::out

Definition at line 481 of file find.h.

---

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

• modal_formula/include/mcrl2/modal_formula/find.h