Home
last modified time | relevance | path

Searched refs:innerRewrites (Results 1 – 3 of 3) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DStatistics.cpp109 innerRewrites(0), in Statistics()
290 condensations+globalSubsumption+evaluations+innerRewrites); in print()
300 COND_OUT("Inner rewrites", innerRewrites); in print()
H A DStatistics.hpp177 unsigned innerRewrites; member in Shell::Statistics
/dports/math/vampire/vampire-4.5.1/Inferences/
H A DInnerRewriting.cpp79 env.statistics->innerRewrites++; in perform()