![]() |
YAP 7.1.0
|
Public Attributes | |
Term | mark |
int | number_of_buckets |
struct subgoal_trie_node ** | buckets |
int | number_of_nodes |
Definition at line 128 of file tab.structs.h.
struct subgoal_trie_node** buckets |
Definition at line 133 of file tab.structs.h.
Term mark |
Definition at line 131 of file tab.structs.h.
int number_of_buckets |
Definition at line 132 of file tab.structs.h.
int number_of_nodes |
Definition at line 134 of file tab.structs.h.