Searched refs:fun_nonconst_count (Results 1 – 2 of 2) sorted by relevance
| /dports/math/eprover/eprover-E-2.0/HEURISTICS/ | ||
| H A D | che_clausesetfeatures.h | 152 int fun_nonconst_count; member |
| H A D | che_clausesetfeatures.c | 943 &(features->fun_nonconst_count), in SpecFeaturesCompute() |