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] |