verf.mdverif.model
Class MDVerifModel

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

public class MDVerifModel
extends java.lang.Object

Author:
Marek

Constructor Summary
MDVerifModel()
           
 
Method Summary
 MDVerifCGGlobalMode computeReach(MDVerifCGGlobalMode mode, MDVerifTrans trans)
           
 java.util.Vector getAllTrans()
           
 MDVerifCGEventSet getEVSet(MDVerifTrans trans, MDVerifCGEventSet gevset)
           
 MDVerifCGEventSet getInitRootEVSet()
           
 MDVerifCGGlobalMode getInitRootMode()
           
 MDVerifMode getModeByName(java.lang.String name)
           
 java.util.Vector getModeOutTransitions(MDVerifMode mode)
           
 MDVerifMode getRootMode()
           
 MDVerifTrans getTransByModeNames(java.lang.String name1, java.lang.String name2)
           
 void printModeInfo()
           
 void printTransInfo()
           
 void setRootMode(MDVerifMode root)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifModel

public MDVerifModel()
Method Detail

getAllTrans

public java.util.Vector getAllTrans()

getEVSet

public MDVerifCGEventSet getEVSet(MDVerifTrans trans,
                                  MDVerifCGEventSet gevset)

getInitRootEVSet

public MDVerifCGEventSet getInitRootEVSet()

getInitRootMode

public MDVerifCGGlobalMode getInitRootMode()

getModeOutTransitions

public java.util.Vector getModeOutTransitions(MDVerifMode mode)

getRootMode

public MDVerifMode getRootMode()

printModeInfo

public void printModeInfo()

printTransInfo

public void printTransInfo()

setRootMode

public void setRootMode(MDVerifMode root)

getModeByName

public MDVerifMode getModeByName(java.lang.String name)

getTransByModeNames

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

computeReach

public MDVerifCGGlobalMode computeReach(MDVerifCGGlobalMode mode,
                                        MDVerifTrans trans)