C | |
| clause [Trace_tstp] | |
D | |
| declaration [Ast_tptp] | |
F | |
| form [Trace_tstp] | |
G | |
| general_data [Ast_tptp] | |
I | |
| id [Trace_tstp] | |
L | |
| location [Ast_ho] | |
N | |
| name [Ast_tptp] | |
O | |
| optional_info [Ast_tptp] |
formula role
|
| or_error [CallProver] | |
| or_error [Trace_tstp] | |
| or_error [Lex_ho] | |
| or_error [Util_tptp] | |
P | |
| parse_cache [Util_zf] |
Cache that remembers the set of files that have been parsed so far
|
| parse_cache [Util_tptp] |
Cache that remembers the set of files that have been parsed so far
|
| parser_ [Util_zf] | |
| parser_res [Util_zf] | |
| proof_set [Trace_tstp] | |
R | |
| result [CallProver.Eprover] | |
| result [CallProver] | |
| role [Ast_tptp] | |
S | |
| step [Trace_tstp] | |
| szs_answer [CallProver.Eprover] | |
T | |
| t [CallProver.Prover] |
data useful to invoke a prover.
|
| t [Trace_tstp] | |
| t [Ast_ho] | |
| t [Ast_tptp] | |
| term [Trace_tstp] | |
| term [Ast_ho] | |
| token [Parse_zf] | |
| token [Parse_ho] | |
| token [Parse_tptp] | |
| typed [Util_tptp] | |
U | |
| untyped [CallProver] | |
| untyped [Util_tptp] |