Data Fields | |
hyperalert_key | key |
char ** | preconds |
unsigned int | n_preconds |
char ** | postconds |
unsigned int | n_postconds |
UT_hash_handle | hh |
Hyperalert hash table
UT_hash_handle hyperalert::hh |
Make the struct 'hashable'
Hyperalert key
unsigned int hyperalert::n_postconds |
Number of post-conditions
unsigned int hyperalert::n_preconds |
Number of pre-conditions
char** hyperalert::postconds |
Post-conditions, as array of strings
char** hyperalert::preconds |
Pre-conditions, as array of strings