Searched refs:horngoals (Results 1 – 2 of 2) sorted by relevance
926 features->horngoals = ClauseSetCountHornGoals(set); in SpecFeaturesCompute()927 features->hornaxioms = features->horn-features->horngoals; in SpecFeaturesCompute()966 else if(features->horngoals == features->goals) in SpecFeaturesCompute()1246 features->horngoals, in SpecFeaturesPrint()1298 features->horngoals = ParseInt(in); in SpecFeaturesParse()
135 long horngoals; member