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

#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
 

Detailed Description

Definition at line 1187 of file liblts_bisim_gjkw.h.


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