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

#include <confluence.h>

Public Member Functions
	square_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

Detailed Description

Function object that computes the condition for square confluence.

Parameters

summand_i	An arbitrary action summand
summand_j	A tau summand

Definition at line 276 of file confluence.h.

Constructor & Destructor Documentation

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

inline

Definition at line 281 of file confluence.h.

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

inline

Definition at line 285 of file confluence.h.

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

Definition at line 278 of file confluence.h.

data::mutable_indexed_substitution& mcrl2::lps::square_confluence_condition::sigma

Definition at line 279 of file confluence.h.

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