mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
term_not_in_normal_form Class Reference

#include <jittycpreamble.h>

Public Member Functions

 term_not_in_normal_form (const data_expression &term, RewriterCompilingJitty *tr)
 
data_expression & normal_form () const
 
void normal_form (data_expression &result) const
 

Protected Attributes

const data_expression & m_term
 
RewriterCompilingJitty * this_rewriter
 

Detailed Description

Definition at line 94 of file jittycpreamble.h.

Constructor & Destructor Documentation

◆ term_not_in_normal_form()

term_not_in_normal_form::term_not_in_normal_form ( const data_expression &  term,
RewriterCompilingJitty *  tr 
)
inline

Definition at line 101 of file jittycpreamble.h.

Member Function Documentation

◆ normal_form() [1/2]

data_expression & term_not_in_normal_form::normal_form ( ) const
inline

Definition at line 105 of file jittycpreamble.h.

◆ normal_form() [2/2]

void term_not_in_normal_form::normal_form ( data_expression &  result) const
inline

Definition at line 112 of file jittycpreamble.h.

Member Data Documentation

◆ m_term

const data_expression& term_not_in_normal_form::m_term
protected

Definition at line 97 of file jittycpreamble.h.

◆ this_rewriter

RewriterCompilingJitty* term_not_in_normal_form::this_rewriter
protected

Definition at line 98 of file jittycpreamble.h.

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