fsm_arc_s Struct Reference

#include <defines.h>

Data Fields
expression *	from_state
expression *	to_state
fsm_arc *	next

---

Detailed Description

Contains information for a single state transition arc in an FSM within the design.

---

Field Documentation

expression* fsm_arc_s::from_state

Pointer to expression that represents the state we are transferring from

Referenced by fsm_add_arc(), fsm_create_tables(), and fsm_dealloc().

fsm_arc* fsm_arc_s::next

Pointer to next fsm_arc in this list

Referenced by fsm_add_arc(), fsm_create_tables(), and fsm_dealloc().

expression* fsm_arc_s::to_state

Pointer to expression that represents the state we are transferring to

Referenced by fsm_add_arc(), fsm_create_tables(), and fsm_dealloc().

---

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

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