Searched refs:formulaNames (Results 1 – 4 of 4) sorted by relevance
60 formulaNames(0), in Statistics()254 HEADING("Preprocessing",formulaNames+purePredicates+trivialPredicates+ in print()257 COND_OUT("Introduced names",formulaNames); in print()
75 unsigned formulaNames; member in Shell::Statistics
1206 env.statistics->formulaNames++; in introduceDefinition()
1169 env.statistics->formulaNames++; in nameSubformula()