verf.mdverif.graphs
Class MDVerifSGManager

java.lang.Object
  extended by verf.mdverif.graphs.MDVerifSGManager

public class MDVerifSGManager
extends java.lang.Object

Author:
Marek

Constructor Summary
MDVerifSGManager()
           
MDVerifSGManager(javax.swing.JTabbedPane tpane)
           
 
Method Summary
 void addNode(MDVerifSGNode newsgnode, MDVerifSGNode sgnode)
           
 void addTrans(MDVerifSGTrans trans, MDVerifSGNode basesgnode)
          Add trasition into SG specified by basenode.
 java.lang.Integer computeDistance(MDVerifSGNode node1, MDVerifSGNode node2)
           
 java.util.Vector getAllTrans()
           
 int getTotalIsomorphicTransCount()
           
 int getTotalTransCount()
           
 int getTotalTreeTransCount()
           
 int getTotalUnreachableTransCount()
           
 int max_distance(MDVerifSGNode node1, MDVerifSGNode node2)
           
 int min_distance(MDVerifSGNode node1, MDVerifSGNode node2)
           
 void printInfo()
           
 void putInitialNode(MDVerifSGNode srnode)
           
 void reinit()
           
 void removeNode(MDVerifSGNode node)
          Removes node together with transitions containing it from SG.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifSGManager

public MDVerifSGManager()

MDVerifSGManager

public MDVerifSGManager(javax.swing.JTabbedPane tpane)
Method Detail

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 add
basesgnode - 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()