Searched refs:SelectNoGeneration (Results 1 – 4 of 4) sorted by relevance
511 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()
69 void SelectNoGeneration(OCB_p ocb, Clause_p clause);
38 {"NoGeneration", SelectNoGeneration},807 void SelectNoGeneration(OCB_p ocb, Clause_p clause) in SelectNoGeneration() function
1434 if(control->heuristic_parms.selection_strategy != SelectNoGeneration) in ProcessClause()