verf.mdverif
Class MDVerifGraphGenerator

java.lang.Object
  extended by verf.mdverif.MDVerifGraphGenerator

public class MDVerifGraphGenerator
extends java.lang.Object

Author:
Marek

Constructor Summary
MDVerifGraphGenerator()
           
 
Method Summary
 void resetCnt()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifGraphGenerator

public MDVerifGraphGenerator()
Method Detail

resetCnt

public void resetCnt()