mCRL2
|
Function object that computes the condition for triangular confluence. More...
#include <confluence.h>
Public Member Functions | |
triangular_confluence_condition (const data::variable_list &process_parameters_, data::mutable_indexed_substitution<> &sigma_) | |
data::data_expression | operator() (const confluence_summand &summand_i, const confluence_summand &summand_j) const |
Public Attributes | |
const data::variable_list & | process_parameters |
data::mutable_indexed_substitution & | sigma |
Function object that computes the condition for triangular confluence.
summand_i | An arbitrary action summand |
summand_j | A tau summand |
Definition at line 327 of file confluence.h.
|
inline |
Definition at line 332 of file confluence.h.
|
inline |
Definition at line 337 of file confluence.h.
const data::variable_list& mcrl2::lps::triangular_confluence_condition::process_parameters |
Definition at line 329 of file confluence.h.
data::mutable_indexed_substitution& mcrl2::lps::triangular_confluence_condition::sigma |
Definition at line 330 of file confluence.h.