fsm_s Struct Reference

#include <defines.h>

---

Detailed Description

Stores information for an FSM within the design.

Data Fields
char *	name
expression *	from_state
expression *	to_state
fsm_arc *	arc_head
fsm_arc *	arc_tail
fsm_table *	table
bool	exclude

---

Field Documentation

fsm_arc* fsm_s::arc_head

Pointer to head of list of expression pairs that describe the valid FSM arcs

fsm_arc* fsm_s::arc_tail

Pointer to tail of list of expression pairs that describe the valid FSM arcs

bool fsm_s::exclude

Set to TRUE if the states/transitions of this table should be excluded as determined by pragmas

expression* fsm_s::from_state

Pointer to from_state expression

char* fsm_s::name

User-defined name that this FSM pertains to

fsm_table* fsm_s::table

FSM arc traversal table

expression* fsm_s::to_state

Pointer to to_state expression

---

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

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

---