#include <parvalues.h>

Public Member Functions
bool	operator< (const edge &other) const

	operator std::string () const

Public Attributes
core::identifier_string	source_eqn
	The equation whose parameters occur freely in cond and updates.

variable_vector	qvars
	Variables bound in a quantifier, sum or other operator that influce the update (and possibly condition)

data_expression	cond
	Condition under which the updates happen.

std::vector< std::pair< parameter, data_expression > >	updates
	Update expressions for parameters.

Detailed Description

Definition at line 97 of file parvalues.h.

Member Function Documentation

mcrl2::data::detail::influence_graph::edge::operator std::string ( ) const

inline

Definition at line 114 of file parvalues.h.

bool mcrl2::data::detail::influence_graph::edge::operator< ( const edge & other ) const

inline

Definition at line 108 of file parvalues.h.

data_expression mcrl2::data::detail::influence_graph::edge::cond

Condition under which the updates happen.

Definition at line 104 of file parvalues.h.

variable_vector mcrl2::data::detail::influence_graph::edge::qvars

Variables bound in a quantifier, sum or other operator that influce the update (and possibly condition)

Definition at line 102 of file parvalues.h.

core::identifier_string mcrl2::data::detail::influence_graph::edge::source_eqn

The equation whose parameters occur freely in cond and updates.

Definition at line 100 of file parvalues.h.

std::vector<std::pair<parameter, data_expression> > mcrl2::data::detail::influence_graph::edge::updates

Update expressions for parameters.

Definition at line 106 of file parvalues.h.

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