verf.mdverif.cg
Class MDVerifCGNode

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

public class MDVerifCGNode
extends java.lang.Object
implements MDVerifDrawable

Class representing CG node.

Author:
Bc. Marek Gach

Constructor Summary
MDVerifCGNode(MDVerifCGGlobalMode gmode, MDVerifCGEventSet evtset, boolean unexpanded, boolean temp)
           
MDVerifCGNode(MDVerifCGGlobalMode gmode, MDVerifCGEventSet evtset, int evtnum)
           
MDVerifCGNode(MDVerifCGGlobalMode gmode, MDVerifCGEventSet evtset, int evtnum, MDVerifTrans trans)
           
 
Method Summary
 void execute(java.awt.Graphics g)
           
 MDVerifCGEventSet getEVSet()
           
 int getEvtNum()
           
 MDVerifCGGlobalMode getGlobalMode()
           
 boolean getIsomorphic()
           
 boolean getPaint()
           
 MDVerifSGNode getSGNode()
           
 boolean getTemp()
           
 MDVerifTrans getTransition()
           
 boolean getUnexpanded()
           
 boolean getUnreachable()
           
 int getX()
           
 int getY()
           
 void setEventNum(int evtnum)
           
 void setIsomorphic(boolean isomorp)
           
 void setPaint(boolean paint)
           
 void setSGNode(MDVerifSGNode node)
           
 void setTemp(boolean temp)
           
 void setTransition(MDVerifTrans transition)
           
 void setUnexpanded(boolean unexpanded)
           
 void setUnreachable(boolean unreachable)
           
 void setX(int x)
           
 void setY(int y)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifCGNode

public MDVerifCGNode(MDVerifCGGlobalMode gmode,
                     MDVerifCGEventSet evtset,
                     int evtnum,
                     MDVerifTrans trans)

MDVerifCGNode

public MDVerifCGNode(MDVerifCGGlobalMode gmode,
                     MDVerifCGEventSet evtset,
                     int evtnum)

MDVerifCGNode

public MDVerifCGNode(MDVerifCGGlobalMode gmode,
                     MDVerifCGEventSet evtset,
                     boolean unexpanded,
                     boolean temp)
Method Detail

execute

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

getEvtNum

public int getEvtNum()

getGlobalMode

public MDVerifCGGlobalMode getGlobalMode()

getEVSet

public MDVerifCGEventSet getEVSet()

setIsomorphic

public void setIsomorphic(boolean isomorp)

setUnexpanded

public void setUnexpanded(boolean unexpanded)

getUnexpanded

public boolean getUnexpanded()

setTemp

public void setTemp(boolean temp)

getTemp

public boolean getTemp()

setUnreachable

public void setUnreachable(boolean unreachable)

getUnreachable

public boolean getUnreachable()

setY

public void setY(int y)

setX

public void setX(int x)

getX

public int getX()

getY

public int getY()

setEventNum

public void setEventNum(int evtnum)

setSGNode

public void setSGNode(MDVerifSGNode node)

getSGNode

public MDVerifSGNode getSGNode()

setTransition

public void setTransition(MDVerifTrans transition)

getTransition

public MDVerifTrans getTransition()

getIsomorphic

public boolean getIsomorphic()

setPaint

public void setPaint(boolean paint)

getPaint

public boolean getPaint()