mCRL2
|
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< variable > | mcrl2::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) |