jedd.internal
Class Profiler

java.lang.Object
  jedd.internal.Profiler

public class Profiler
extends java.lang.Object

Nested Class Summary

class

Profiler.BDD

Method Summary

static void	enable(java.io.PrintStream out)
static boolean	enabled()
void	finish(java.lang.String eventName, RelationInstance bdd)
void	printInfo()
static void	setTimeLimit(long newLimit)
void	start(java.lang.String eventName, RelationInstance bdd)
void	start(java.lang.String eventName, RelationInstance bdd1, RelationInstance bdd2)
static Profiler	v()

Methods inherited from class java.lang.Object

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

Method Detail

v

public static Profiler v()

enabled

public static boolean enabled()

enable

public static void enable(java.io.PrintStream out)

start

public void start(java.lang.String eventName,
                  RelationInstance bdd)

start

public void start(java.lang.String eventName,
                  RelationInstance bdd1,
                  RelationInstance bdd2)

setTimeLimit

public static void setTimeLimit(long newLimit)

finish

public void finish(java.lang.String eventName,
                   RelationInstance bdd)

printInfo

public void printInfo()