mCRL2
|
#include <liblts_bisim_gjkw.h>
Public Member Functions | |
B_to_C_descriptor (B_to_C_iter_t begin_, B_to_C_iter_t end_) | |
const block_t * | from_block () const |
compute the source block of the transitions in this slice | |
block_t * | from_block () |
const constln_t * | to_constln () const |
compute the goal constellation of the transitions in this slice | |
constln_t * | to_constln () |
bool | needs_postprocessing () const |
returns true iff the slice is marked for postprocessing | |
std::string | debug_id () const |
print a B_to_C slice identification for debugging | |
bool | add_work_to_bottom_transns (enum check_complexity::counter_type ctr, unsigned max_value) |
Public Attributes | |
B_to_C_iter_t | end |
B_to_C_iter_t | begin |
check_complexity::B_to_C_counter_t | work_counter |
Definition at line 1340 of file liblts_bisim_gjkw.h.