![]() |
YAP 7.1.0
|
Public Attributes | |
Term | entry |
struct subgoal_trie_node * | parent |
struct subgoal_trie_node * | child |
struct subgoal_trie_node * | next |
Definition at line 60 of file tab.structs.h.
struct subgoal_trie_node* child |
Definition at line 63 of file tab.structs.h.
Term entry |
Definition at line 61 of file tab.structs.h.
struct subgoal_trie_node* next |
Definition at line 64 of file tab.structs.h.
struct subgoal_trie_node* parent |
Definition at line 62 of file tab.structs.h.