fsm_table_arc_s Struct Reference

#include <defines.h>

Data Fields
asuppl	suppl
unsigned int	from
unsigned int	to

---

Detailed Description

Stores information for a uni-/bi-directional state transition.

---

Field Documentation

unsigned int fsm_table_arc_s::from

Index to from_state vector value in fsm_table vector array

Referenced by arc_add(), arc_db_merge(), arc_db_write(), arc_display(), arc_find_arc(), arc_get_states(), arc_get_transitions(), arc_merge(), arc_state_hits(), and rank_gather_fsm_cov().

asuppl fsm_table_arc_s::suppl

Supplemental field for this state transition entry

Referenced by arc_add(), arc_are_any_excluded(), arc_db_merge(), arc_db_write(), arc_display(), arc_get_states(), arc_get_transitions(), arc_merge(), arc_state_hits(), arc_transition_excluded(), arc_transition_hits(), exclude_arc_assign_and_recalc(), exclude_fsm_from_id(), exclude_is_fsm_excluded(), and rank_gather_fsm_cov().

unsigned int fsm_table_arc_s::to

Index to to_state vector value in fsm_table vector array

Referenced by arc_add(), arc_db_merge(), arc_db_write(), arc_display(), arc_find_arc(), arc_get_states(), arc_get_transitions(), and arc_merge().

---

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

• /Users/trevorw/projects/release/covered-0.7.9/src/defines.h