temporal_state_store Struct Reference

Struct to hold all the relevant state information in the HashMap. More...

Collaboration diagram for temporal_state_store:

Data Fields
int	reachable
char *	proof
int	accepting
int	num_edges
struct REGEX_BLOCK_Edge *	edges

Detailed Description

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 3482 of file regex_internal.c.

Field Documentation

reachable

int temporal_state_store::reachable

Definition at line 3484 of file regex_internal.c.

Referenced by store_all_states().

proof

char* temporal_state_store::proof

Definition at line 3485 of file regex_internal.c.

Referenced by store_all_states().

accepting

int temporal_state_store::accepting

Definition at line 3486 of file regex_internal.c.

Referenced by store_all_states().

num_edges

int temporal_state_store::num_edges

Definition at line 3487 of file regex_internal.c.

Referenced by store_all_states().

edges

struct REGEX_BLOCK_Edge* temporal_state_store::edges

Definition at line 3488 of file regex_internal.c.

Referenced by store_all_states().

---

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

• src/service/regex/regex_internal.c