Home
last modified time | relevance | path

Searched refs:ng_unit_axioms_part (Results 1 – 2 of 2) sorted by relevance

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_clausesetfeatures.c1018 features->ng_unit_axioms_part = features->unitaxioms? in SpecFeaturesCompute()
1066 if(features->ng_unit_axioms_part<=limits->ngu_few_limit) in SpecFeaturesAddEval()
1070 else if(features->ng_unit_axioms_part>=limits->ngu_many_limit) in SpecFeaturesAddEval()
1177 features->ng_unit_axioms_part = features->unitaxioms? in SpecFeaturesAddEval()
1254 features->ng_unit_axioms_part, in SpecFeaturesPrint()
1314 features->ng_unit_axioms_part = ParseFloat(in); in SpecFeaturesParse()
H A Dche_clausesetfeatures.h143 double ng_unit_axioms_part; member