Searched refs:ng_unit_axioms_part (Results 1 – 2 of 2) sorted by relevance
1018 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()
143 double ng_unit_axioms_part; member