mcrl2::pbes_system::summand_equivalence_key Struct Reference

#include <partial_order_reduction.h>

Public Member Functions
	summand_equivalence_key (data::variable_list e_, data::data_expression f_, data::data_expression_list g_)
	summand_equivalence_key (const summand_class &summand)
	summand_equivalence_key (const srf_summand &summand)
bool	operator< (const summand_equivalence_key &other) const
bool	operator== (const summand_equivalence_key &other) const

Public Attributes
data::variable_list	e
data::data_expression	f
data::data_expression_list	g

Detailed Description

Definition at line 139 of file partial_order_reduction.h.

Constructor & Destructor Documentation

summand_equivalence_key() [1/3]

mcrl2::pbes_system::summand_equivalence_key::summand_equivalence_key ( data::variable_list  e_, data::data_expression  f_, data::data_expression_list  g_  )

inlineexplicit

Definition at line 145 of file partial_order_reduction.h.

summand_equivalence_key() [2/3]

mcrl2::pbes_system::summand_equivalence_key::summand_equivalence_key ( const summand_class &  summand )

inlineexplicit

Definition at line 149 of file partial_order_reduction.h.

summand_equivalence_key() [3/3]

mcrl2::pbes_system::summand_equivalence_key::summand_equivalence_key ( const srf_summand &  summand )

inlineexplicit

Definition at line 153 of file partial_order_reduction.h.

Member Function Documentation

operator<()

bool mcrl2::pbes_system::summand_equivalence_key::operator< ( const summand_equivalence_key &  other ) const

inline

Definition at line 157 of file partial_order_reduction.h.

operator==()

bool mcrl2::pbes_system::summand_equivalence_key::operator== ( const summand_equivalence_key &  other ) const

inline

Definition at line 162 of file partial_order_reduction.h.

Member Data Documentation

e

data::variable_list mcrl2::pbes_system::summand_equivalence_key::e

Definition at line 141 of file partial_order_reduction.h.

f

data::data_expression mcrl2::pbes_system::summand_equivalence_key::f

Definition at line 142 of file partial_order_reduction.h.

g

data::data_expression_list mcrl2::pbes_system::summand_equivalence_key::g

Definition at line 143 of file partial_order_reduction.h.

---

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

• pbes/include/mcrl2/pbes/partial_order_reduction.h