Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_clausesetfeatures.h61 SpecArity3Plus, enumerator
273 ((spec)->max_fun_ar_class ==SpecArity3Plus)
282 ((spec)->avg_fun_ar_class ==SpecArity3Plus)
H A Dche_clausesetfeatures.c1000 features->max_fun_ar_class = SpecArity3Plus; in SpecFeaturesCompute()
1015 features->avg_fun_ar_class = SpecArity3Plus; in SpecFeaturesCompute()
1159 features->max_fun_ar_class = SpecArity3Plus; in SpecFeaturesAddEval()
1174 features->avg_fun_ar_class = SpecArity3Plus; in SpecFeaturesAddEval()