Home
last modified time | relevance | path

Searched refs:formulaNames (Results 1 – 4 of 4) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DStatistics.cpp60 formulaNames(0), in Statistics()
254 HEADING("Preprocessing",formulaNames+purePredicates+trivialPredicates+ in print()
257 COND_OUT("Introduced names",formulaNames); in print()
H A DStatistics.hpp75 unsigned formulaNames; member in Shell::Statistics
H A DNaming.cpp1206 env.statistics->formulaNames++; in introduceDefinition()
H A DNewCNF.cpp1169 env.statistics->formulaNames++; in nameSubformula()