Searched refs:CPInitial (Results 1 – 9 of 9) sorted by relevance
/dports/math/eprover/eprover-E-2.0/CLAUSES/ |
H A D | ccl_clausefunc.c | 218 ClauseDelProp(clause, CPInitial|CPLimitedRW); in ClauseRemoveSuperfluousLiterals() 329 ClauseDelProp(clause, CPInitial|CPLimitedRW); in ClauseRemoveACResolved()
|
H A D | ccl_context_sr.c | 85 ClauseDelProp(clause, CPInitial|CPLimitedRW); in ClauseContextualSimplifyReflect()
|
H A D | ccl_formula_wrapper.c | 298 FormulaSetProp(handle, CPInitial|CPInputFormula); in WFormulaTPTPParse() 426 FormulaSetProp(handle, initial|CPInitial); in WFormulaTSTPParse()
|
H A D | ccl_clauses.h | 45 CPInitial = 1, /* Initial clause */ enumerator 46 CPInputFormula = 2*CPInitial, /* _Really_ initial
|
H A D | ccl_subsumption.c | 1174 ClauseDelProp(clause, CPInitial|CPLimitedRW); in ClausePositiveSimplifyReflect() 1225 ClauseDelProp(clause, CPInitial|CPLimitedRW); in ClauseNegativeSimplifyReflect()
|
H A D | ccl_rewrite.c | 1109 ClauseDelProp(clause, CPInitial); in ClauseComputeLINormalform()
|
H A D | ccl_clauses.c | 1842 ClauseSetProp(handle, CPInitial|input); in ClauseParse()
|
/dports/math/eprover/eprover-E-2.0/HEURISTICS/ |
H A D | che_prio_funs.c | 731 if(ClauseIsAnyPropSet(clause, CPInitial|CPIsSOS)) in PrioFunSimulateSOS() 753 if(ClauseIsAnyPropSet(clause, CPInitial|CPIsSOS)) in PrioFunDeferSOS()
|
/dports/math/eprover/eprover-E-2.0/CONTROL/ |
H A D | cco_proofproc.c | 1238 ClauseSetProp(new, CPInitial); in ProofStateInit()
|