Searched refs:groundgoals (Results 1 – 2 of 2) sorted by relevance
932 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()
142 long groundgoals; member