mCRL2
Loading...
Searching...
No Matches
mcrl2::lps::triangular_confluence_condition Struct Reference

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_listprocess_parameters
 
data::mutable_indexed_substitutionsigma
 

Detailed Description

Function object that computes the condition for triangular confluence.

Parameters
summand_iAn arbitrary action summand
summand_jA tau summand

Definition at line 327 of file confluence.h.

Constructor & Destructor Documentation

◆ triangular_confluence_condition()

mcrl2::lps::triangular_confluence_condition::triangular_confluence_condition ( const data::variable_list process_parameters_,
data::mutable_indexed_substitution<> &  sigma_ 
)
inline

Definition at line 332 of file confluence.h.

Member Function Documentation

◆ operator()()

data::data_expression mcrl2::lps::triangular_confluence_condition::operator() ( const confluence_summand summand_i,
const confluence_summand summand_j 
) const
inline

Definition at line 337 of file confluence.h.

Member Data Documentation

◆ process_parameters

const data::variable_list& mcrl2::lps::triangular_confluence_condition::process_parameters

Definition at line 329 of file confluence.h.

◆ sigma

data::mutable_indexed_substitution& mcrl2::lps::triangular_confluence_condition::sigma

Definition at line 330 of file confluence.h.


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