Struct to hold all the relevant state information in the HashMap. More...
Data Fields | |
int | reachable |
char * | proof |
int | accepting |
int | num_edges |
struct REGEX_BLOCK_Edge * | edges |
Struct to hold all the relevant state information in the HashMap.
Contains the same info as the Regex Iterator parameters except the key, which comes directly from the HashMap iterator.
Definition at line 3477 of file regex_internal.c.
int temporal_state_store::reachable |
Definition at line 3479 of file regex_internal.c.
Referenced by store_all_states().
char* temporal_state_store::proof |
Definition at line 3480 of file regex_internal.c.
Referenced by store_all_states().
int temporal_state_store::accepting |
Definition at line 3481 of file regex_internal.c.
Referenced by store_all_states().
int temporal_state_store::num_edges |
Definition at line 3482 of file regex_internal.c.
Referenced by store_all_states().
struct REGEX_BLOCK_Edge* temporal_state_store::edges |
Definition at line 3483 of file regex_internal.c.
Referenced by store_all_states().