mCRL2
Loading...
Searching...
No Matches
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 1665 of file liblts_bisim_gjkw.h.


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