asuppl_u Union Reference

#include <defines.h>

Data Fields
uint8	all
struct {
uint8   hit: 1
uint8   excluded: 1
}	part

---

Detailed Description

Supplemental field for FSM table structure.

---

Field Documentation

uint8 asuppl_u::all

Allows us to set all bits in the suppl field

Referenced by arc_add(), and arc_db_write().

uint8 asuppl_u::excluded

Specifies if from->to transition should be excluded from coverage consideration

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

uint8 asuppl_u::hit

Specifies if from->to arc was hit

Referenced by arc_add(), arc_db_merge(), arc_display(), arc_get_states(), arc_get_transitions(), arc_merge(), arc_state_hits(), arc_transition_hits(), exclude_arc_assign_and_recalc(), and rank_gather_fsm_cov().

struct { ... } asuppl_u::part

Referenced by arc_add(), arc_are_any_excluded(), arc_db_merge(), 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().

---

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

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