![]() |
YAP 7.1.0
|
Public Attributes | |
yamop * | code_of_subgoal |
struct answer_trie_hash * | hash_chain |
struct answer_trie_node * | answer_trie |
struct answer_trie_node * | first_answer |
struct answer_trie_node * | last_answer |
Definition at line 240 of file tab.structs.h.
struct answer_trie_node* answer_trie |
Definition at line 246 of file tab.structs.h.
yamop* code_of_subgoal |
Definition at line 244 of file tab.structs.h.
struct answer_trie_node* first_answer |
Definition at line 247 of file tab.structs.h.
struct answer_trie_hash* hash_chain |
Definition at line 245 of file tab.structs.h.
struct answer_trie_node* last_answer |
Definition at line 248 of file tab.structs.h.