Searched refs:clause_split_general (Results 1 – 1 of 1) sorted by relevance
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_splitting.c | 269 int clause_split_general(DefStore_p store, Clause_p clause, in clause_split_general() function
535 res = clause_split_general(store, clause, set, how, fresh_defs, dummy); in ClauseSplit()
597 res = clause_split_general(store, clause, set, SplitGroundNone, in ClauseSplitGeneral()
|