learner
Class Scribe

java.lang.Object
  learner.Scribe

public class Scribe
extends java.lang.Object

Another utility class which monitors how many time different resources, such as membership and equivalence queries, are used during a run of the Learner. At the end of a run, the statistics gathered by the Scribe are reported.

Field Summary

static int	ceSize
static int	cntEquivalence
static int	cntMembership
static int	cntSynthesized
static boolean	isReusing
static boolean	isSaving
static StopWatch	learnerTime
static StopWatch	totalTime

Constructor Summary

Scribe()

Method Summary

static void	brief()
static int	getCntDagEqual()
static int	getCntRecursiveEqual()
static void	header()
static void	reportStateFound()
static void	reportTransitionFound()
static void	reset()

Methods inherited from class java.lang.Object

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

Field Detail

cntSynthesized

public static int cntSynthesized

cntMembership

public static int cntMembership

cntEquivalence

public static int cntEquivalence

totalTime

public static StopWatch totalTime

learnerTime

public static StopWatch learnerTime

isReusing

public static boolean isReusing

isSaving

public static boolean isSaving

ceSize

public static int ceSize

Constructor Detail

Scribe

public Scribe()

Method Detail

getCntDagEqual

public static int getCntDagEqual()

getCntRecursiveEqual

public static int getCntRecursiveEqual()

reportStateFound

public static void reportStateFound()

reportTransitionFound

public static void reportTransitionFound()

header

public static void header()

brief

public static void brief()

reset

public static void reset()