mCRL2
|
#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 |
Definition at line 1281 of file liblts_bisim_gjkw.h.