mcrl2::pbes_system::partial_order_reduction_algorithm::invis_pair Struct Reference

#include <partial_order_reduction.h>

Public Member Functions
	invis_pair (summand_set Twork_, summand_set Ts_)
bool	operator< (const invis_pair &other) const

Public Attributes
summand_set	Twork
summand_set	Ts

Detailed Description

Definition at line 245 of file partial_order_reduction.h.

Constructor & Destructor Documentation

invis_pair()

mcrl2::pbes_system::partial_order_reduction_algorithm::invis_pair::invis_pair ( summand_set  Twork_, summand_set  Ts_  )

inline

Definition at line 249 of file partial_order_reduction.h.

Member Function Documentation

operator<()

bool mcrl2::pbes_system::partial_order_reduction_algorithm::invis_pair::operator< ( const invis_pair &  other ) const

inline

Definition at line 253 of file partial_order_reduction.h.

Member Data Documentation

Ts

summand_set mcrl2::pbes_system::partial_order_reduction_algorithm::invis_pair::Ts

Definition at line 248 of file partial_order_reduction.h.

Twork

summand_set mcrl2::pbes_system::partial_order_reduction_algorithm::invis_pair::Twork

Definition at line 247 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