mCRL2
|
#include <liblts_bisim_gjkw.h>
Public Member Functions | |
succ_iter_t | slice_begin_or_before_end () |
succ_const_iter_t | slice_begin_or_before_end () const |
void | set_slice_begin_or_before_end (succ_iter_t new_value) |
succ_iter_t | slice_begin () |
succ_const_iter_t | slice_begin () const |
Static Public Member Functions | |
static succ_iter_t | slice_end (succ_iter_t this_) |
static succ_const_iter_t | slice_end (succ_const_iter_t this_) |
static void | slice_add_work_to_transns (succ_const_iter_t this_, enum check_complexity::counter_type ctr, unsigned max_value) |
Public Attributes | |
B_to_C_iter_t | B_to_C |
state_info_ptr | target |
Private Attributes | |
succ_iter_t | int_slice_begin_or_before_end |
points to the last or the first transition to the same constellation | |
Definition at line 1187 of file liblts_bisim_gjkw.h.