verf.mdverif.model
Class MDVerifModel
java.lang.Object
verf.mdverif.model.MDVerifModel
public class MDVerifModel
- extends java.lang.Object
- Author:
- Marek
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MDVerifModel
public MDVerifModel()
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)