verf.mdverif.model
Class MDVerifTransManager

java.lang.Object
  extended by verf.mdverif.model.MDVerifTransManager

public class MDVerifTransManager
extends java.lang.Object

Author:
Marek

Constructor Summary
MDVerifTransManager()
           
 
Method Summary
 void addTrans(MDVerifTrans trans)
           
 MDVerifTrans getTransByModeNames(java.lang.String name1, java.lang.String name2)
           
 java.util.Vector getTransitions()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifTransManager

public MDVerifTransManager()
Method Detail

getTransitions

public java.util.Vector getTransitions()

addTrans

public void addTrans(MDVerifTrans trans)

getTransByModeNames

public MDVerifTrans getTransByModeNames(java.lang.String name1,
                                        java.lang.String name2)