mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived > Struct Template Reference

#include <traverser.h>

Inheritance diagram for mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >:

Public Types
typedef Traverser< Derived >	super

Public Member Functions
void	apply (const state_formulas::true_ &x)
void	apply (const state_formulas::false_ &x)
void	apply (const state_formulas::not_ &x)
void	apply (const state_formulas::minus &x)
void	apply (const state_formulas::and_ &x)
void	apply (const state_formulas::or_ &x)
void	apply (const state_formulas::imp &x)
void	apply (const state_formulas::plus &x)
void	apply (const state_formulas::const_multiply &x)
void	apply (const state_formulas::const_multiply_alt &x)
void	apply (const state_formulas::forall &x)
void	apply (const state_formulas::exists &x)
void	apply (const state_formulas::infimum &x)
void	apply (const state_formulas::supremum &x)
void	apply (const state_formulas::sum &x)
void	apply (const state_formulas::must &x)
void	apply (const state_formulas::may &x)
void	apply (const state_formulas::yaled &x)
void	apply (const state_formulas::yaled_timed &x)
void	apply (const state_formulas::delay &x)
void	apply (const state_formulas::delay_timed &x)
void	apply (const state_formulas::variable &x)
void	apply (const state_formulas::nu &x)
void	apply (const state_formulas::mu &x)
void	apply (const state_formulas::state_formula_specification &x)
void	apply (const state_formulas::state_formula &x)

Detailed Description

template<template< class > class Traverser, class Derived>
struct mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >

Definition at line 3103 of file traverser.h.

Member Typedef Documentation

super

template<template< class > class Traverser, class Derived >

typedef Traverser<Derived> mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::super

Definition at line 3105 of file traverser.h.

Member Function Documentation

apply() [1/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::and_ &  x )

inline

Definition at line 3138 of file traverser.h.

apply() [2/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::const_multiply &  x )

inline

Definition at line 3170 of file traverser.h.

apply() [3/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::const_multiply_alt &  x )

inline

Definition at line 3178 of file traverser.h.

apply() [4/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::delay &  x )

inline

Definition at line 3256 of file traverser.h.

apply() [5/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::delay_timed &  x )

inline

Definition at line 3263 of file traverser.h.

apply() [6/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::exists &  x )

inline

Definition at line 3194 of file traverser.h.

apply() [7/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::false_ &  x )

inline

Definition at line 3117 of file traverser.h.

apply() [8/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::forall &  x )

inline

Definition at line 3186 of file traverser.h.

apply() [9/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::imp &  x )

inline

Definition at line 3154 of file traverser.h.

apply() [10/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::infimum &  x )

inline

Definition at line 3202 of file traverser.h.

apply() [11/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::may &  x )

inline

Definition at line 3234 of file traverser.h.

apply() [12/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::minus &  x )

inline

Definition at line 3131 of file traverser.h.

apply() [13/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::mu &  x )

inline

Definition at line 3287 of file traverser.h.

apply() [14/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::must &  x )

inline

Definition at line 3226 of file traverser.h.

apply() [15/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::not_ &  x )

inline

Definition at line 3124 of file traverser.h.

apply() [16/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::nu &  x )

inline

Definition at line 3278 of file traverser.h.

apply() [17/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::or_ &  x )

inline

Definition at line 3146 of file traverser.h.

apply() [18/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::plus &  x )

inline

Definition at line 3162 of file traverser.h.

apply() [19/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::state_formula &  x )

inline

Definition at line 3304 of file traverser.h.

apply() [20/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::state_formula_specification &  x )

inline

Definition at line 3296 of file traverser.h.

apply() [21/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::sum &  x )

inline

Definition at line 3218 of file traverser.h.

apply() [22/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::supremum &  x )

inline

Definition at line 3210 of file traverser.h.

apply() [23/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::true_ &  x )

inline

Definition at line 3110 of file traverser.h.

apply() [24/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::variable &  x )

inline

Definition at line 3270 of file traverser.h.

apply() [25/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::yaled &  x )

inline

Definition at line 3242 of file traverser.h.

apply() [26/26]

template<template< class > class Traverser, class Derived >

void mcrl2::state_formulas::add_traverser_identifier_strings< Traverser, Derived >::apply ( const state_formulas::yaled_timed &  x )

inline

Definition at line 3249 of file traverser.h.

---

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

• modal_formula/include/mcrl2/modal_formula/traverser.h