![]() |
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.