mCRL2
Loading...
Searching...
No Matches
jitty.cpp File Reference

Go to the source code of this file.

Classes

class  mcrl2::data::detail::jitty_argument_rewriter
 
class  mcrl2::data::detail::dependencies_rewrite_rule_pair
 

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::data
 Namespace for all data library functionality.
 
namespace  mcrl2::data::detail
 

Macros

#define NAME   std::string("rewr_jitty")
 

Functions

std::set< variablemcrl2::data::detail::bound_variables_in_substitution (const jitty_assignments_for_a_rewrite_rule &assignments)
 
static bool mcrl2::data::detail::match_jitty (const data_expression &t, const data_expression &p, jitty_assignments_for_a_rewrite_rule &assignments, const bool term_context_guarantees_normal_form)
 

Macro Definition Documentation

◆ NAME

#define NAME   std::string("rewr_jitty")

Definition at line 10 of file jitty.cpp.