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

#include <translate_expression.h>

Inheritance diagram for mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >:

Public Types

typedef Traverser< translate_data_expression_traverser< Traverser, OutputStream > > super
 

Public Member Functions

 translate_data_expression_traverser (OutputStream &out_, std::unordered_map< data::data_expression, std::string > &cache, const native_translations &nt)
 
void apply (const data::data_expression &d)
 
void apply (const data::application &v)
 
void apply (const data::function_symbol &v)
 
void apply (const data::variable &v)
 
void apply (const data::forall &v)
 
void apply (const data::exists &v)
 
void apply (const data::where_clause &v)
 

Public Attributes

stack_outstream< OutputStream > out
 
std::unordered_map< data::data_expression, std::string > & m_cache
 
const native_translations & m_native
 

Detailed Description

template<template< class > class Traverser, class OutputStream>
struct mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >

Definition at line 72 of file translate_expression.h.

Member Typedef Documentation

◆ super

template<template< class > class Traverser, class OutputStream >
typedef Traverser<translate_data_expression_traverser<Traverser, OutputStream> > mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::super

Definition at line 75 of file translate_expression.h.

Constructor & Destructor Documentation

◆ translate_data_expression_traverser()

template<template< class > class Traverser, class OutputStream >
mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::translate_data_expression_traverser ( OutputStream &  out_,
std::unordered_map< data::data_expression, std::string > &  cache,
const native_translations &  nt 
)
inline

Definition at line 82 of file translate_expression.h.

Member Function Documentation

◆ apply() [1/7]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::apply ( const data::application &  v)
inline

Definition at line 109 of file translate_expression.h.

◆ apply() [2/7]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::apply ( const data::data_expression &  d)
inline

Definition at line 90 of file translate_expression.h.

◆ apply() [3/7]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::apply ( const data::exists &  v)
inline

Definition at line 146 of file translate_expression.h.

◆ apply() [4/7]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::apply ( const data::forall &  v)
inline

Definition at line 137 of file translate_expression.h.

◆ apply() [5/7]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::apply ( const data::function_symbol &  v)
inline

Definition at line 133 of file translate_expression.h.

◆ apply() [6/7]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::apply ( const data::variable &  v)
inline

Definition at line 135 of file translate_expression.h.

◆ apply() [7/7]

template<template< class > class Traverser, class OutputStream >
void mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::apply ( const data::where_clause &  v)
inline

Definition at line 155 of file translate_expression.h.

Member Data Documentation

◆ m_cache

template<template< class > class Traverser, class OutputStream >
std::unordered_map<data::data_expression, std::string>& mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::m_cache

Definition at line 79 of file translate_expression.h.

◆ m_native

template<template< class > class Traverser, class OutputStream >
const native_translations& mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::m_native

Definition at line 80 of file translate_expression.h.

◆ out

template<template< class > class Traverser, class OutputStream >
stack_outstream<OutputStream> mcrl2::smt::detail::translate_data_expression_traverser< Traverser, OutputStream >::out

Definition at line 78 of file translate_expression.h.

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