uk.ac.manchester.cs.jfact.helpers

Class Stats

java.lang.Object

uk.ac.manchester.cs.jfact.helpers.Stats

public class Stats
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Stats.AccumulatedStatistic

Constructor Summary

Constructors

Constructor and Description
Stats()

Method Summary

Methods

Modifier and Type	Method and Description
void	accumulate()
Stats.AccumulatedStatistic	build(List<Stats.AccumulatedStatistic> list)
Stats.AccumulatedStatistic	getnAllCalls()
Stats.AccumulatedStatistic	getnAndCalls()
Stats.AccumulatedStatistic	getnAutoEmptyLookups()
Stats.AccumulatedStatistic	getnAutoTransLookups()
Stats.AccumulatedStatistic	getnCachedSat()
Stats.AccumulatedStatistic	getnCachedUnsat()
Stats.AccumulatedStatistic	getnCacheFailed()
Stats.AccumulatedStatistic	getnCacheFailedNoCache()
Stats.AccumulatedStatistic	getnCacheFailedShallow()
Stats.AccumulatedStatistic	getnCacheTry()
Stats.AccumulatedStatistic	getnFairnessViolations()
Stats.AccumulatedStatistic	getnFuncCalls()
Stats.AccumulatedStatistic	getnGeCalls()
Stats.AccumulatedStatistic	getnIdCalls()
Stats.AccumulatedStatistic	getnLeCalls()
Stats.AccumulatedStatistic	getnLookups()
Stats.AccumulatedStatistic	getnMergeCalls()
Stats.AccumulatedStatistic	getnNNCalls()
Stats.AccumulatedStatistic	getnNodeRestores()
Stats.AccumulatedStatistic	getnNodeSaves()
Stats.AccumulatedStatistic	getnOrBrCalls()
Stats.AccumulatedStatistic	getnOrCalls()
Stats.AccumulatedStatistic	getnSingletonCalls()
Stats.AccumulatedStatistic	getnSomeCalls()
Stats.AccumulatedStatistic	getnSRuleAdd()
Stats.AccumulatedStatistic	getnSRuleFire()
Stats.AccumulatedStatistic	getnStateRestores()
Stats.AccumulatedStatistic	getnStateSaves()
Stats.AccumulatedStatistic	getnTacticCalls()
Stats.AccumulatedStatistic	getnUseless()
void	logStatisticData(LogAdapter o, boolean needLocal, DlCompletionGraph CGraph, JFactReasonerConfiguration options)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Stats

public Stats()

Method Detail

build

public Stats.AccumulatedStatistic build(List<Stats.AccumulatedStatistic> list)

accumulate

public void accumulate()

logStatisticData

public void logStatisticData(LogAdapter o,
                    boolean needLocal,
                    DlCompletionGraph CGraph,
                    JFactReasonerConfiguration options)

getnTacticCalls

public Stats.AccumulatedStatistic getnTacticCalls()

getnUseless

public Stats.AccumulatedStatistic getnUseless()

getnIdCalls

public Stats.AccumulatedStatistic getnIdCalls()

getnSingletonCalls

public Stats.AccumulatedStatistic getnSingletonCalls()

getnOrCalls

public Stats.AccumulatedStatistic getnOrCalls()

getnOrBrCalls

public Stats.AccumulatedStatistic getnOrBrCalls()

getnAndCalls

public Stats.AccumulatedStatistic getnAndCalls()

getnSomeCalls

public Stats.AccumulatedStatistic getnSomeCalls()

getnAllCalls

public Stats.AccumulatedStatistic getnAllCalls()

getnFuncCalls

public Stats.AccumulatedStatistic getnFuncCalls()

getnLeCalls

public Stats.AccumulatedStatistic getnLeCalls()

getnGeCalls

public Stats.AccumulatedStatistic getnGeCalls()

getnNNCalls

public Stats.AccumulatedStatistic getnNNCalls()

getnMergeCalls

public Stats.AccumulatedStatistic getnMergeCalls()

getnAutoEmptyLookups

public Stats.AccumulatedStatistic getnAutoEmptyLookups()

getnAutoTransLookups

public Stats.AccumulatedStatistic getnAutoTransLookups()

getnSRuleAdd

public Stats.AccumulatedStatistic getnSRuleAdd()

getnSRuleFire

public Stats.AccumulatedStatistic getnSRuleFire()

getnStateSaves

public Stats.AccumulatedStatistic getnStateSaves()

getnStateRestores

public Stats.AccumulatedStatistic getnStateRestores()

getnNodeSaves

public Stats.AccumulatedStatistic getnNodeSaves()

getnNodeRestores

public Stats.AccumulatedStatistic getnNodeRestores()

getnLookups

public Stats.AccumulatedStatistic getnLookups()

getnFairnessViolations

public Stats.AccumulatedStatistic getnFairnessViolations()

getnCacheTry

public Stats.AccumulatedStatistic getnCacheTry()

getnCacheFailedNoCache

public Stats.AccumulatedStatistic getnCacheFailedNoCache()

getnCacheFailedShallow

public Stats.AccumulatedStatistic getnCacheFailedShallow()

getnCacheFailed

public Stats.AccumulatedStatistic getnCacheFailed()

getnCachedSat

public Stats.AccumulatedStatistic getnCachedSat()

getnCachedUnsat

public Stats.AccumulatedStatistic getnCachedUnsat()