#include <confluence.h>

Public Member Functions
template<typename ActionSummand >
	confluence_summand (const ActionSummand &summand, const data::variable_list &process_parameters)

bool	is_tau () const

Public Attributes
data::variable_list	variables

data::data_expression	condition

lps::multi_action	multi_action

stochastic_distribution	distribution

data::data_expression_list	next_state

std::set< data::variable >	changed

std::set< data::variable >	used

Detailed Description

Definition at line 129 of file confluence.h.

Constructor & Destructor Documentation

◆ confluence_summand()

template<typename ActionSummand >

mcrl2::lps::confluence_summand::confluence_summand	(	const ActionSummand &	summand,
		const data::variable_list &	process_parameters
	)

inline

Definition at line 140 of file confluence.h.

Member Function Documentation

◆ is_tau()

bool mcrl2::lps::confluence_summand::is_tau ( ) const

inline

Definition at line 150 of file confluence.h.

Member Data Documentation

◆ changed

std::set<data::variable> mcrl2::lps::confluence_summand::changed

Definition at line 136 of file confluence.h.

◆ condition

data::data_expression mcrl2::lps::confluence_summand::condition

Definition at line 132 of file confluence.h.

◆ distribution

stochastic_distribution mcrl2::lps::confluence_summand::distribution

Definition at line 134 of file confluence.h.

◆ multi_action

lps::multi_action mcrl2::lps::confluence_summand::multi_action

Definition at line 133 of file confluence.h.

◆ next_state

data::data_expression_list mcrl2::lps::confluence_summand::next_state

Definition at line 135 of file confluence.h.

◆ used

std::set<data::variable> mcrl2::lps::confluence_summand::used

Definition at line 137 of file confluence.h.

◆ variables

data::variable_list mcrl2::lps::confluence_summand::variables

Definition at line 131 of file confluence.h.

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

lps/include/mcrl2/lps/confluence.h

Public Member Functions

Public Attributes