#include <MNrx.h>
Collaboration diagram for rx_superstate:
Public Attributes | |
int | rx_id |
int | locks |
rx_superstate * | next_recyclable |
rx_superstate * | prev_recyclable |
rx_distinct_future * | transition_refs |
rx_superset * | contents |
rx_super_edge * | edges |
int | is_semifree |
int | trans_size |
rx_inx | transitions [RX_TAIL_ARRAY] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|