fsm_s Struct Reference

#include <defines.h>

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

---

Detailed Description

Stores information for an FSM within the design.

---

Field Documentation

fsm_arc* fsm_s::arc_head

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

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

fsm_arc* fsm_s::arc_tail

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

Referenced by fsm_add_arc(), and fsm_create().

bool fsm_s::exclude

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

Referenced by fsm_create(), fsm_create_tables(), and fsm_table_set().

expression* fsm_s::from_state

Pointer to from_state expression

Referenced by fsm_create(), fsm_db_merge(), fsm_db_read(), fsm_db_write(), fsm_dealloc(), fsm_display_arc_verbose(), fsm_display_state_verbose(), fsm_display_verbose(), fsm_get_coverage(), fsm_merge(), and fsm_table_set().

int fsm_s::line

First line of FSM attribute

Referenced by fsm_create(), fsm_db_write(), and fsm_link_find_by_pos().

char* fsm_s::name

User-defined name that this FSM pertains to

Referenced by fsm_create(), fsm_dealloc(), fsm_link_find(), and fsm_var_add().

fsm_table* fsm_s::table

FSM arc traversal table

Referenced by exclude_is_fsm_excluded(), exclude_set_fsm_exclude(), fsm_collect(), fsm_create(), fsm_create_tables(), fsm_db_merge(), fsm_db_read(), fsm_db_write(), fsm_dealloc(), fsm_display_arc_verbose(), fsm_display_state_verbose(), fsm_get_coverage(), fsm_get_stats(), fsm_merge(), fsm_table_set(), instance_find_fsm_arc_index_by_exclusion_id(), and rank_gather_comp_cdd_cov().

expression* fsm_s::to_state

Pointer to to_state expression

Referenced by exclude_is_fsm_excluded(), exclude_set_fsm_exclude(), fsm_collect(), fsm_create(), fsm_create_tables(), fsm_db_merge(), fsm_db_read(), fsm_db_write(), fsm_dealloc(), fsm_display_arc_verbose(), fsm_display_state_verbose(), fsm_display_verbose(), fsm_get_coverage(), fsm_merge(), and fsm_table_set().

---

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

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