Home
last modified time | relevance | path

Searched refs:SelectNoGeneration (Results 1 – 4 of 4) sorted by relevance

/dports/math/eprover/eprover-E-2.0/PROVER/
H A Deprover.c511 proofcontrol->heuristic_parms.selection_strategy = SelectNoGeneration; in main()
1118 h_parms->selection_strategy=SelectNoGeneration; in process_options()
1146 if(h_parms->selection_strategy == SelectNoGeneration) in process_options()
/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_litselection.h69 void SelectNoGeneration(OCB_p ocb, Clause_p clause);
H A Dche_litselection.c38 {"NoGeneration", SelectNoGeneration},
807 void SelectNoGeneration(OCB_p ocb, Clause_p clause) in SelectNoGeneration() function
/dports/math/eprover/eprover-E-2.0/CONTROL/
H A Dcco_proofproc.c1434 if(control->heuristic_parms.selection_strategy != SelectNoGeneration) in ProcessClause()