verf.mdverif.cg
Class MDVerifCGTrans

java.lang.Object
  extended by verf.mdverif.cg.MDVerifCGTrans
All Implemented Interfaces:
MDVerifDrawable

public class MDVerifCGTrans
extends java.lang.Object
implements MDVerifDrawable

Class representing CG transition

Author:
Bc. Marek Gach

Constructor Summary
MDVerifCGTrans(MDVerifCGNode node1, MDVerifCGNode node2)
           
 
Method Summary
 void execute(java.awt.Graphics g)
           
 boolean getIsomorphic()
           
 MDVerifCGNode getMode1()
           
 MDVerifCGNode getMode2()
           
 void setIsomorphic(boolean b)
           
 void setNode1(MDVerifCGNode node1)
           
 void setNode2(MDVerifCGNode node2)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifCGTrans

public MDVerifCGTrans(MDVerifCGNode node1,
                      MDVerifCGNode node2)
Method Detail

getMode1

public MDVerifCGNode getMode1()

getMode2

public MDVerifCGNode getMode2()

setIsomorphic

public void setIsomorphic(boolean b)

getIsomorphic

public boolean getIsomorphic()

setNode1

public void setNode1(MDVerifCGNode node1)

setNode2

public void setNode2(MDVerifCGNode node2)

execute

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