verf.mdverif.sg
Class MDVerifSGTrans
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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)
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()