verf.mdverif.cg
Class MDVerifCGEventSet
java.lang.Object
verf.mdverif.cg.MDVerifCGEventSet
public class MDVerifCGEventSet
- extends java.lang.Object
Class representing events set of mode.
- Author:
- Bc. Marek Gach
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MDVerifCGEventSet
public MDVerifCGEventSet()
MDVerifCGEventSet
public MDVerifCGEventSet(java.util.Vector events)
addEvent
public void addEvent(MDVerifTransCond condition)
addEvents
public void addEvents(MDVerifCGEventSet evset)
containsCond
public boolean containsCond(MDVerifTransCond cond)
equalsTo
public boolean equalsTo(MDVerifCGEventSet evset)
- Check if given event set exuals to this objects event set
- Parameters:
evset
- Event set to be compared
- Returns:
- Logical value if two given event sets contain same events
getCount
public int getCount()
printInfo
public void printInfo()
getString
public java.lang.String getString()