edu.toronto.cs.yasm
Class YasmStatistics

java.lang.Object
  extended by edu.toronto.cs.yasm.YasmStatistics

public class YasmStatistics
extends java.lang.Object

YasmStatistics.java Created: Wed Jul 7 12:32:03 2004

Version:
1.0
Author:
Xin Ma

Constructor Summary
YasmStatistics()
           
 
Method Summary
 void start()
           
 void startCompile()
           
 void startMC()
           
 void startNewPred()
           
 void startParse()
           
 void startPredicateAbstraction()
           
 void startRefine()
           
 void stop()
           
 void stopCompile()
           
 void stopMC()
           
 void stopNewPred()
           
 void stopParse()
           
 void stopPredicateAbstraction()
           
 void stopRefine()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

YasmStatistics

public YasmStatistics()
Method Detail

start

public void start()

stop

public void stop()

startPredicateAbstraction

public void startPredicateAbstraction()

stopPredicateAbstraction

public void stopPredicateAbstraction()

startCompile

public void startCompile()

stopCompile

public void stopCompile()

startParse

public void startParse()

stopParse

public void stopParse()

startRefine

public void startRefine()

stopRefine

public void stopRefine()

startMC

public void startMC()

stopMC

public void stopMC()

startNewPred

public void startNewPred()

stopNewPred

public void stopNewPred()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object