state_ainsn_table Struct Reference

Collaboration diagram for state_ainsn_table:

Data Fields
automaton_t	automaton
vla_hwint_t	comb_vect
vla_hwint_t	check_vect
vla_hwint_t	base_vect
vla_hwint_t	full_vect
int	min_comb_vect_el_value
int	max_comb_vect_el_value
int	min_base_vect_el_value
int	max_base_vect_el_value

Detailed Description

The following structure describes a table state X ainsn -> int(>= 0).   

Field Documentation

automaton

automaton_t state_ainsn_table::automaton

Referenced by add_vect(), create_state_ainsn_table(), and output_state_ainsn_table().

base_vect

vla_hwint_t state_ainsn_table::base_vect

Referenced by add_vect(), create_state_ainsn_table(), and output_state_ainsn_table().

check_vect

vla_hwint_t state_ainsn_table::check_vect

Referenced by add_vect(), create_state_ainsn_table(), and output_state_ainsn_table().

comb_vect

vla_hwint_t state_ainsn_table::comb_vect

Referenced by add_vect(), comb_vect_p(), create_state_ainsn_table(), output_state_ainsn_table(), and output_statistics().

full_vect

vla_hwint_t state_ainsn_table::full_vect

Referenced by add_vect(), comb_vect_p(), create_state_ainsn_table(), output_state_ainsn_table(), and output_statistics().

max_base_vect_el_value

int state_ainsn_table::max_base_vect_el_value

Referenced by add_vect(), create_state_ainsn_table(), and output_state_ainsn_table().

max_comb_vect_el_value

int state_ainsn_table::max_comb_vect_el_value

Referenced by add_vect(), create_state_ainsn_table(), and output_state_ainsn_table().

min_base_vect_el_value

int state_ainsn_table::min_base_vect_el_value

Referenced by add_vect(), create_state_ainsn_table(), and output_state_ainsn_table().

min_comb_vect_el_value

int state_ainsn_table::min_comb_vect_el_value

Referenced by add_vect(), create_state_ainsn_table(), and output_state_ainsn_table().

---

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

• genautomata.cc