mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisimulation_gj Namespace Reference

Classes

struct  block_type
 
struct  constellation_type
 
struct  L_B_C_list_iterator
 
struct  state_type_gj
 
struct  transition_type
 

Typedefs

typedef std::size_t state_index
 
typedef std::size_t action_index
 
typedef std::size_t transition_index
 
typedef std::size_t block_index
 
typedef std::size_t constellation_index
 

Variables

constexpr transition_index null_transition =-1
 

Typedef Documentation

◆ action_index

Definition at line 43 of file liblts_bisim_gj.h.

◆ block_index

Definition at line 45 of file liblts_bisim_gj.h.

◆ constellation_index

Definition at line 46 of file liblts_bisim_gj.h.

◆ state_index

Definition at line 42 of file liblts_bisim_gj.h.

◆ transition_index

Definition at line 44 of file liblts_bisim_gj.h.

Variable Documentation

◆ null_transition

constexpr transition_index mcrl2::lts::detail::bisimulation_gj::null_transition =-1
constexpr

Definition at line 48 of file liblts_bisim_gj.h.