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