Searched refs:SpecFeature_p (Results 1 – 6 of 6) sorted by relevance
/dports/math/eprover/eprover-E-2.0/HEURISTICS/ |
H A D | che_heuristics.c | 74 SpecFeature_p spec) in finalize_auto_parms() 217 SpecFeature_p spec = &(control->problem_specs); in HCBAutoModeCreate() 257 SpecFeature_p spec = &(control->problem_specs); in HCBCASCAutoModeCreate() 315 SpecFeature_p spec = &(control->problem_specs); in HCBDevAutoModeCreate() 358 SpecFeature_p spec = &(control->problem_specs); in HCBAutoSched0Create() 384 SpecFeature_p spec = &(control->problem_specs); in HCBAutoSched1Create() 410 SpecFeature_p spec = &(control->problem_specs); in HCBAutoSched2Create() 436 SpecFeature_p spec = &(control->problem_specs); in HCBAutoSched3Create() 463 SpecFeature_p spec = &(control->problem_specs); in HCBAutoSched4Create() 490 SpecFeature_p spec = &(control->problem_specs); in HCBAutoSched5Create() [all …]
|
H A D | che_to_autoselect.c | 118 OCB_p generate_auto_ordering(ProofState_p state, SpecFeature_p spec) in generate_auto_ordering() 156 OCB_p generate_autocasc_ordering(ProofState_p state, SpecFeature_p spec) in generate_autocasc_ordering() 229 OCB_p generate_autodev_ordering(ProofState_p state, SpecFeature_p spec) in generate_autodev_ordering() 292 OCB_p generate_autosched0_ordering(ProofState_p state, SpecFeature_p spec) in generate_autosched0_ordering() 315 OCB_p generate_autosched1_ordering(ProofState_p state, SpecFeature_p spec) in generate_autosched1_ordering() 338 OCB_p generate_autosched2_ordering(ProofState_p state, SpecFeature_p spec) in generate_autosched2_ordering() 361 OCB_p generate_autosched3_ordering(ProofState_p state, SpecFeature_p spec) in generate_autosched3_ordering() 384 OCB_p generate_autosched4_ordering(ProofState_p state, SpecFeature_p spec) in generate_autosched4_ordering() 407 OCB_p generate_autosched5_ordering(ProofState_p state, SpecFeature_p spec) in generate_autosched5_ordering() 430 OCB_p generate_autosched6_ordering(ProofState_p state, SpecFeature_p spec) in generate_autosched6_ordering() [all …]
|
H A D | che_clausesetfeatures.h | 154 }SpecFeatureCell, *SpecFeature_p; typedef 377 void SpecFeaturesCompute(SpecFeature_p features, ClauseSet_p set, 379 void SpecFeaturesAddEval(SpecFeature_p features, SpecLimits_p limits); 381 void SpecFeaturesPrint(FILE* out, SpecFeature_p features); 383 void SpecFeaturesParse(Scanner_p in, SpecFeature_p features); 385 void SpecTypePrint(FILE* out, SpecFeature_p features, char* mask);
|
H A D | che_to_autoselect.h | 85 SpecFeature_p specs);
|
H A D | che_clausesetfeatures.c | 900 void SpecFeaturesCompute(SpecFeature_p features, ClauseSet_p set, in SpecFeaturesCompute() 1044 void SpecFeaturesAddEval(SpecFeature_p features, SpecLimits_p limits) in SpecFeaturesAddEval() 1231 void SpecFeaturesPrint(FILE* out, SpecFeature_p features) in SpecFeaturesPrint() 1279 void SpecFeaturesParse(Scanner_p in, SpecFeature_p features) in SpecFeaturesParse() 1413 void SpecTypePrint(FILE* out, SpecFeature_p features, char* mask) in SpecTypePrint()
|
/dports/math/eprover/eprover-E-2.0/PROVER/ |
H A D | classify_problem.c | 476 char* parse_feature_line(Scanner_p in, SpecFeature_p features); 528 char* parse_feature_line(Scanner_p in, SpecFeature_p features) in parse_feature_line()
|