uk.ac.manchester.cs.jfact.helpers

Class Stats

java.lang.Object

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

All Implemented Interfaces:

Serializable

public class Stats
extends Object
implements Serializable

stats.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Stats.AccumulatedStatistic accumulated stats.

Constructor Summary

Constructors

Constructor and Description
Stats()

Method Summary

Modifier and Type	Method and Description
void	accumulate() Accumulate.
static 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() Gets the n singleton calls.
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) Log statistic data.

Methods inherited from class java.lang.Object

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

Constructor Detail

Stats

public Stats()

Method Detail

build

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

Parameters:

list - the list

Returns:

the accumulated statistic

accumulate

public void accumulate()

Accumulate.

logStatisticData

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

Log statistic data.

Parameters:

o - the o

needLocal - the need local

cGraph - the c graph

options - the options

getnTacticCalls

public Stats.AccumulatedStatistic getnTacticCalls()

Returns:

the n tactic calls

getnUseless

public Stats.AccumulatedStatistic getnUseless()

Returns:

the n useless

getnIdCalls

public Stats.AccumulatedStatistic getnIdCalls()

Returns:

the n id calls

getnSingletonCalls

public Stats.AccumulatedStatistic getnSingletonCalls()

Gets the n singleton calls.

Returns:

the n singleton calls

getnOrCalls

public Stats.AccumulatedStatistic getnOrCalls()

Returns:

the n or calls

getnOrBrCalls

public Stats.AccumulatedStatistic getnOrBrCalls()

Returns:

the n or br calls

getnAndCalls

public Stats.AccumulatedStatistic getnAndCalls()

Returns:

the n and calls

getnSomeCalls

public Stats.AccumulatedStatistic getnSomeCalls()

Returns:

the n some calls

getnAllCalls

public Stats.AccumulatedStatistic getnAllCalls()

Returns:

the n all calls

getnFuncCalls

public Stats.AccumulatedStatistic getnFuncCalls()

Returns:

the n func calls

getnLeCalls

public Stats.AccumulatedStatistic getnLeCalls()

Returns:

the n le calls

getnGeCalls

public Stats.AccumulatedStatistic getnGeCalls()

Returns:

the n ge calls

getnNNCalls

public Stats.AccumulatedStatistic getnNNCalls()

Returns:

the n nn calls

getnMergeCalls

public Stats.AccumulatedStatistic getnMergeCalls()

Returns:

the n merge calls

getnAutoEmptyLookups

public Stats.AccumulatedStatistic getnAutoEmptyLookups()

Returns:

the n auto empty lookups

getnAutoTransLookups

public Stats.AccumulatedStatistic getnAutoTransLookups()

Returns:

the n auto trans lookups

getnSRuleAdd

public Stats.AccumulatedStatistic getnSRuleAdd()

Returns:

the n s rule add

getnSRuleFire

public Stats.AccumulatedStatistic getnSRuleFire()

Returns:

the n s rule fire

getnStateSaves

public Stats.AccumulatedStatistic getnStateSaves()

Returns:

the n state saves

getnStateRestores

public Stats.AccumulatedStatistic getnStateRestores()

Returns:

the n state restores

getnNodeSaves

public Stats.AccumulatedStatistic getnNodeSaves()

Returns:

the n node saves

getnNodeRestores

public Stats.AccumulatedStatistic getnNodeRestores()

Returns:

the n node restores

getnLookups

public Stats.AccumulatedStatistic getnLookups()

Returns:

the n lookups

getnFairnessViolations

public Stats.AccumulatedStatistic getnFairnessViolations()

Returns:

the n fairness violations

getnCacheTry

public Stats.AccumulatedStatistic getnCacheTry()

Returns:

the n cache try

getnCacheFailedNoCache

public Stats.AccumulatedStatistic getnCacheFailedNoCache()

Returns:

the n cache failed no cache

getnCacheFailedShallow

public Stats.AccumulatedStatistic getnCacheFailedShallow()

Returns:

the n cache failed shallow

getnCacheFailed

public Stats.AccumulatedStatistic getnCacheFailed()

Returns:

the n cache failed

getnCachedSat

public Stats.AccumulatedStatistic getnCachedSat()

Returns:

the n cached sat

getnCachedUnsat

public Stats.AccumulatedStatistic getnCachedUnsat()

Returns:

the n cached unsat