uk.ac.manchester.cs.jfact.helpers

Class Stats.AccumulatedStatistic

java.lang.Object

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

All Implemented Interfaces:

Serializable

Enclosing class:

Stats

public static class Stats.AccumulatedStatistic
extends Object
implements Serializable

accumulated stats.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AccumulatedStatistic() c'tor: link itself to the list.

Method Summary

Modifier and Type	Method and Description
void	accumulate() add local value to a global one.
void	inc() increment local value.
void	print(LogAdapter l, boolean b, String s1, String s2)

Methods inherited from class java.lang.Object

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

Constructor Detail

AccumulatedStatistic

public AccumulatedStatistic()

c'tor: link itself to the list.

Method Detail

inc

public void inc()

increment local value.

accumulate

public void accumulate()

add local value to a global one.

print

public void print(LogAdapter l,
                  boolean b,
                  String s1,
                  String s2)

Parameters:

l - l

b - b

s1 - s1

s2 - s2