Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_clausesetfeatures.c932 features->groundgoals = ClauseSetCountGroundGoals(set); in SpecFeaturesCompute()
946 features->goals_are_ground = (features->groundgoals == in SpecFeaturesCompute()
1047 features->goals_are_ground = (features->groundgoals == in SpecFeaturesAddEval()
1251 features->groundgoals, in SpecFeaturesPrint()
1308 features->groundgoals = ParseInt(in); in SpecFeaturesParse()
H A Dche_clausesetfeatures.h142 long groundgoals; member