Searched refs:splitInequalities (Results 1 – 3 of 3) sorted by relevance
62 splitInequalities(0), in Statistics()256 sineIterations+splitInequalities); in print()265 COND_OUT("Split inequalities", splitInequalities); in print()
81 unsigned splitInequalities; member in Shell::Statistics
192 env.statistics->splitInequalities++; in splitLiteral()