fsm_table_s Struct Reference

#include <defines.h>

Data Fields
fsuppl	suppl
unsigned int	id
vector **	fr_states
unsigned int	num_fr_states
vector **	to_states
unsigned int	num_to_states
fsm_table_arc **	arcs
unsigned int	num_arcs

---

Detailed Description

Stores information for an FSM table (including states and state transitions).

---

Field Documentation

fsm_table_arc** fsm_table_s::arcs

List of FSM state transitions

Referenced by arc_add(), arc_are_any_excluded(), arc_create(), arc_db_merge(), arc_db_write(), arc_dealloc(), arc_display(), arc_find_arc(), 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().

vector** fsm_table_s::fr_states

List of FSM from state vectors that are valid for this FSM (VTYPE_VAL)

Referenced by arc_add(), arc_create(), arc_db_merge(), arc_db_write(), arc_dealloc(), arc_display(), arc_find_from_state(), arc_get_states(), arc_get_transitions(), and arc_merge().

unsigned int fsm_table_s::id

Starting exclusion ID of arc list

Referenced by arc_create(), arc_find_arc_by_exclusion_id(), arc_get_transitions(), and exclude_set_fsm_exclude().

unsigned int fsm_table_s::num_arcs

Contains the number of arcs stored in this table

Referenced by arc_add(), arc_create(), arc_db_merge(), arc_db_write(), arc_dealloc(), arc_display(), arc_find_arc_by_exclusion_id(), arc_get_states(), arc_get_stats(), arc_get_transitions(), arc_merge(), arc_state_hits(), arc_transition_excluded(), arc_transition_hits(), and rank_gather_fsm_cov().

unsigned int fsm_table_s::num_fr_states

Contains the number of from states stored in this table

Referenced by arc_add(), arc_create(), arc_db_write(), arc_dealloc(), arc_get_states(), arc_get_stats(), arc_state_hits(), and rank_gather_fsm_cov().

unsigned int fsm_table_s::num_to_states

Contains the number of to states stored in this table

Referenced by arc_add(), arc_create(), arc_db_write(), arc_dealloc(), and arc_get_states().

fsuppl fsm_table_s::suppl

Supplemental field for FSM table

Referenced by arc_add(), arc_create(), arc_db_write(), arc_get_stats(), fsm_display_arc_verbose(), fsm_display_state_verbose(), and rank_gather_fsm_cov().

vector** fsm_table_s::to_states

List of FSM to state vectors that are valid for this FSM (VTYPE_VAL)

Referenced by arc_add(), arc_create(), arc_db_merge(), arc_db_write(), arc_dealloc(), arc_display(), arc_find_to_state(), 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