verf.mdverif.sg
Class MDVerifSGTrans

java.lang.Object
  extended by verf.mdverif.sg.MDVerifSGTrans
All Implemented Interfaces:
MDVerifDrawable

public class MDVerifSGTrans
extends java.lang.Object
implements MDVerifDrawable

Separation graph transition class.

Author:
Bc. Marek Gach

Constructor Summary
MDVerifSGTrans()
           
MDVerifSGTrans(MDVerifSGNode node1, MDVerifSGNode node2, int weight)
           
MDVerifSGTrans(MDVerifSGNode node1, MDVerifSGNode node2, int weight, boolean treeedge)
           
MDVerifSGTrans(MDVerifSGNode node1, MDVerifSGNode node2, int weight, boolean treeedge, boolean referenced)
           
 
Method Summary
 void execute(java.awt.Graphics g)
           
 boolean getIsomorphic()
           
 MDVerifSGNode getNode1()
           
 MDVerifSGNode getNode2()
           
 boolean getTreeEdge()
           
 int getWeight()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifSGTrans

public MDVerifSGTrans()

MDVerifSGTrans

public MDVerifSGTrans(MDVerifSGNode node1,
                      MDVerifSGNode node2,
                      int weight)

MDVerifSGTrans

public MDVerifSGTrans(MDVerifSGNode node1,
                      MDVerifSGNode node2,
                      int weight,
                      boolean treeedge)

MDVerifSGTrans

public MDVerifSGTrans(MDVerifSGNode node1,
                      MDVerifSGNode node2,
                      int weight,
                      boolean treeedge,
                      boolean referenced)
Method Detail

getNode1

public MDVerifSGNode getNode1()

getNode2

public MDVerifSGNode getNode2()

execute

public void execute(java.awt.Graphics g)
Specified by:
execute in interface MDVerifDrawable

getTreeEdge

public boolean getTreeEdge()

getWeight

public int getWeight()

getIsomorphic

public boolean getIsomorphic()