cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Symbol table header. More...
Data Fields | |
st_compare_t | compare |
st_hash_t | hash |
st_compare_arg_t | compare_arg |
st_hash_arg_t | hash_arg |
void const * | arg |
int | num_bins |
int | num_entries |
int | max_density |
int | reorder_flag |
double | grow_factor |
st_table_entry ** | bins |
Symbol table header.