specification_t Struct Reference

Data Fields
ptree_t **	env_goals
ptree_t *	env_init
ptree_t *	env_trans
ptree_t **	env_trans_array
int	et_array_len
ptree_t *	evar_list
ptree_t *	nonbool_var_list
int	num_egoals
int	num_sgoals
int *	offw
int	original_num_env
int	original_num_sys
int	st_array_len
ptree_t *	svar_list
ptree_t **	sys_goals
ptree_t *	sys_init
ptree_t *	sys_trans
ptree_t **	sys_trans_array

---

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

• common.h