mcrl2::lts::detail::bisim_gjkw::bisim_partitioner_gjkw_initialise_helper< LTS_TYPE >::Key Class Reference

Public Member Functions
	Key (const label_type &f, const state_type &s)
bool	operator== (const Key &other) const

Public Attributes
label_type	first
state_type	second

Detailed Description

template<class LTS_TYPE>
class mcrl2::lts::detail::bisim_gjkw::bisim_partitioner_gjkw_initialise_helper< LTS_TYPE >::Key

Definition at line 1686 of file liblts_bisim_gjkw.h.

---

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

• lts/include/mcrl2/lts/detail/liblts_bisim_gjkw.h