mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
rewrite_functor Struct Reference

#include <jittycpreamble.h>

Public Member Functions

 rewrite_functor (RewriterCompilingJitty *tr)
 
data_expression operator() (const data_expression &arg) const
 

Public Attributes

RewriterCompilingJitty * this_rewriter
 

Detailed Description

Definition at line 154 of file jittycpreamble.h.

Constructor & Destructor Documentation

◆ rewrite_functor()

rewrite_functor::rewrite_functor ( RewriterCompilingJitty *  tr)
inline

Definition at line 158 of file jittycpreamble.h.

Member Function Documentation

◆ operator()()

data_expression rewrite_functor::operator() ( const data_expression &  arg) const
inline

Definition at line 162 of file jittycpreamble.h.

Member Data Documentation

◆ this_rewriter

RewriterCompilingJitty* rewrite_functor::this_rewriter

Definition at line 156 of file jittycpreamble.h.

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