static Stats.AccumulatedStatistic |
Stats.build(List<Stats.AccumulatedStatistic> list) |
Stats.AccumulatedStatistic |
Stats.getnAllCalls() |
Stats.AccumulatedStatistic |
Stats.getnAndCalls() |
Stats.AccumulatedStatistic |
Stats.getnAutoEmptyLookups() |
Stats.AccumulatedStatistic |
Stats.getnAutoTransLookups() |
Stats.AccumulatedStatistic |
Stats.getnCachedSat() |
Stats.AccumulatedStatistic |
Stats.getnCachedUnsat() |
Stats.AccumulatedStatistic |
Stats.getnCacheFailed() |
Stats.AccumulatedStatistic |
Stats.getnCacheFailedNoCache() |
Stats.AccumulatedStatistic |
Stats.getnCacheFailedShallow() |
Stats.AccumulatedStatistic |
Stats.getnCacheTry() |
Stats.AccumulatedStatistic |
Stats.getnFairnessViolations() |
Stats.AccumulatedStatistic |
Stats.getnFuncCalls() |
Stats.AccumulatedStatistic |
Stats.getnGeCalls() |
Stats.AccumulatedStatistic |
Stats.getnIdCalls() |
Stats.AccumulatedStatistic |
Stats.getnLeCalls() |
Stats.AccumulatedStatistic |
Stats.getnLookups() |
Stats.AccumulatedStatistic |
Stats.getnMergeCalls() |
Stats.AccumulatedStatistic |
Stats.getnNNCalls() |
Stats.AccumulatedStatistic |
Stats.getnNodeRestores() |
Stats.AccumulatedStatistic |
Stats.getnNodeSaves() |
Stats.AccumulatedStatistic |
Stats.getnOrBrCalls() |
Stats.AccumulatedStatistic |
Stats.getnOrCalls() |
Stats.AccumulatedStatistic |
Stats.getnSingletonCalls()
Gets the n singleton calls.
|
Stats.AccumulatedStatistic |
Stats.getnSomeCalls() |
Stats.AccumulatedStatistic |
Stats.getnSRuleAdd() |
Stats.AccumulatedStatistic |
Stats.getnSRuleFire() |
Stats.AccumulatedStatistic |
Stats.getnStateRestores() |
Stats.AccumulatedStatistic |
Stats.getnStateSaves() |
Stats.AccumulatedStatistic |
Stats.getnTacticCalls() |
Stats.AccumulatedStatistic |
Stats.getnUseless() |