mcrl2::lps::trivial_confluence_condition Struct Reference

Function object that computes the condition for triangular confluence. More...

#include <confluence.h>

Public Member Functions
	trivial_confluence_condition (data::mutable_indexed_substitution<> &sigma_)
data::data_expression	operator() (const confluence_summand &summand_i, const confluence_summand &summand_j) const

Public Attributes
data::mutable_indexed_substitution &	sigma

Detailed Description

Function object that computes the condition for triangular confluence.

Parameters

summand_i	An arbitrary action summand
summand_j	A tau summand

Definition at line 375 of file confluence.h.

Constructor & Destructor Documentation

trivial_confluence_condition()

mcrl2::lps::trivial_confluence_condition::trivial_confluence_condition ( data::mutable_indexed_substitution<> &  sigma_ )

inlineexplicit

Definition at line 379 of file confluence.h.

Member Function Documentation

operator()()

data::data_expression mcrl2::lps::trivial_confluence_condition::operator() ( const confluence_summand &  summand_i, const confluence_summand &  summand_j  ) const

inline

Definition at line 384 of file confluence.h.

Member Data Documentation

sigma

data::mutable_indexed_substitution& mcrl2::lps::trivial_confluence_condition::sigma

Definition at line 377 of file confluence.h.

---

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

• lps/include/mcrl2/lps/confluence.h