fsuppl_u Union Reference

#include <defines.h>

Data Fields
uint8	all
struct {
uint8   known: 1
}	part

---

Detailed Description

Supplemental field for FSM table structure.

---

Field Documentation

uint8 fsuppl_u::all

Allows us to set all bits in the suppl field

Referenced by arc_create(), and arc_db_write().

uint8 fsuppl_u::known

Specifies if the possible state transitions are known

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

struct { ... } fsuppl_u::part

Referenced by arc_add(), arc_get_stats(), fsm_display_arc_verbose(), fsm_display_state_verbose(), 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