verf.mdverif.graphs
Class MDVerifSGManager
java.lang.Object
verf.mdverif.graphs.MDVerifSGManager
public class MDVerifSGManager
- extends java.lang.Object
- Author:
- Marek
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MDVerifSGManager
public MDVerifSGManager()
MDVerifSGManager
public MDVerifSGManager(javax.swing.JTabbedPane tpane)
addNode
public void addNode(MDVerifSGNode newsgnode,
MDVerifSGNode sgnode)
addTrans
public void addTrans(MDVerifSGTrans trans,
MDVerifSGNode basesgnode)
- Add trasition into SG specified by basenode.
- Parameters:
trans
- transition which we are going to addbasesgnode
- node which is parent
computeDistance
public java.lang.Integer computeDistance(MDVerifSGNode node1,
MDVerifSGNode node2)
getAllTrans
public java.util.Vector getAllTrans()
getTotalIsomorphicTransCount
public int getTotalIsomorphicTransCount()
getTotalTransCount
public int getTotalTransCount()
getTotalTreeTransCount
public int getTotalTreeTransCount()
getTotalUnreachableTransCount
public int getTotalUnreachableTransCount()
max_distance
public int max_distance(MDVerifSGNode node1,
MDVerifSGNode node2)
min_distance
public int min_distance(MDVerifSGNode node1,
MDVerifSGNode node2)
putInitialNode
public void putInitialNode(MDVerifSGNode srnode)
reinit
public void reinit()
removeNode
public void removeNode(MDVerifSGNode node)
- Removes node together with transitions containing it from SG.
- Parameters:
node
- Node which we are going to remove.
printInfo
public void printInfo()