mcrl2::data::detail::double_variable_traverser< Traverser > Struct Template Reference

#include <jitty_jittyc.h>

Inheritance diagram for mcrl2::data::detail::double_variable_traverser< Traverser >:

Public Types
using	super = Traverser< double_variable_traverser< Traverser > >

Public Member Functions
void	apply (const variable &v)
const std::set< variable > &	result ()

Public Attributes
std::set< variable >	m_seen
std::set< variable >	m_doubles

Detailed Description

template<template< class > class Traverser>
struct mcrl2::data::detail::double_variable_traverser< Traverser >

Definition at line 22 of file jitty_jittyc.h.

Member Typedef Documentation

super

template<template< class > class Traverser>

using mcrl2::data::detail::double_variable_traverser< Traverser >::super = Traverser<double_variable_traverser<Traverser> >

Definition at line 24 of file jitty_jittyc.h.

Member Function Documentation

apply()

template<template< class > class Traverser>

void mcrl2::data::detail::double_variable_traverser< Traverser >::apply ( const variable &  v )

inline

Definition at line 32 of file jitty_jittyc.h.

result()

template<template< class > class Traverser>

const std::set< variable > & mcrl2::data::detail::double_variable_traverser< Traverser >::result ( )

inline

Definition at line 40 of file jitty_jittyc.h.

Member Data Documentation

m_doubles

template<template< class > class Traverser>

std::set<variable> mcrl2::data::detail::double_variable_traverser< Traverser >::m_doubles

Definition at line 30 of file jitty_jittyc.h.

m_seen

template<template< class > class Traverser>

std::set<variable> mcrl2::data::detail::double_variable_traverser< Traverser >::m_seen

Definition at line 29 of file jitty_jittyc.h.

---

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

• data/include/mcrl2/data/detail/rewrite/jitty_jittyc.h