Home
last modified time | relevance | path

Searched refs:SpecFeature_p (Results 1 – 6 of 6) sorted by relevance

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_heuristics.c74 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 Dche_to_autoselect.c118 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 Dche_clausesetfeatures.h154 }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 Dche_to_autoselect.h85 SpecFeature_p specs);
H A Dche_clausesetfeatures.c900 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 Dclassify_problem.c476 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()