Searched refs:TBTermParse (Results 1 – 6 of 6) sorted by relevance
| /dports/math/eprover/eprover-E-2.0/SIMPLE_APPS/ |
| H A D | term2dag.c | 116 term = TBTermParse(in, bank); in main()
|
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_eqn.c | 312 lterm = TBTermParse(in, bank); in eqn_parse_infix()
329 rterm = TBTermParse(in, bank); in eqn_parse_infix()
343 rterm = TBTermParse(in, bank); in eqn_parse_infix()
391 lterm = TBTermParse(in, bank); in eqn_parse_prefix()
394 rterm = TBTermParse(in, bank); in eqn_parse_prefix()
400 lterm = TBTermParse(in, bank); in eqn_parse_prefix()
|
| H A D | ccl_tformulae.c | 183 var = TBTermParse(in, terms); in quantified_tform_tptp_parse()
290 var = TBTermParse(in, terms); in quantified_tform_tstp_parse()
|
| /dports/math/eprover/eprover-E-2.0/PROVER/ |
| H A D | termprops.c | 114 term = TBTermParse(in, bank); in main()
|
| H A D | enormalizer.c | 341 t = TBTermParse(in, terms); in process_terms()
|
| /dports/math/eprover/eprover-E-2.0/TERMS/ |
| H A D | cte_termbanks.h | 158 #define TBTermParse(in, bank) TBTermParseReal((in),(bank), true) macro
|