mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisim_gjkw::pred_entry Class Reference

#include <liblts_bisim_gjkw.h>

Public Member Functions

std::string debug_id_short () const
 print a short transition identification for debugging
 
std::string debug_id () const
 print a transition identification for debugging
 

Public Attributes

succ_iter_t succ
 
state_info_ptr source
 
check_complexity::trans_counter_t work_counter
 

Detailed Description

Definition at line 1281 of file liblts_bisim_gjkw.h.


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