uk.ac.manchester.cs.jfact.helpers

Class Stats.AccumulatedStatistic

java.lang.Object

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

Enclosing class:

Stats

public static class Stats.AccumulatedStatistic
extends Object

Method Summary

Methods

Modifier and Type	Method and Description
void	inc() increment local value
void	print(LogAdapter l, boolean b, String s1, String s2)

Methods inherited from class java.lang.Object

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

Method Detail

inc

public void inc()

increment local value

print

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