Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Shell/
H A DStatistics.cpp62 splitInequalities(0), in Statistics()
256 sineIterations+splitInequalities); in print()
265 COND_OUT("Split inequalities", splitInequalities); in print()
H A DStatistics.hpp81 unsigned splitInequalities; member in Shell::Statistics
H A DInequalitySplitting.cpp192 env.statistics->splitInequalities++; in splitLiteral()