verf.mdverif.cg
Class MDVerifCGEventSet

java.lang.Object
  extended by verf.mdverif.cg.MDVerifCGEventSet

public class MDVerifCGEventSet
extends java.lang.Object

Class representing events set of mode.

Author:
Bc. Marek Gach

Constructor Summary
MDVerifCGEventSet()
           
MDVerifCGEventSet(java.util.Vector events)
           
 
Method Summary
 void addEvent(MDVerifTransCond condition)
           
 void addEvents(MDVerifCGEventSet evset)
           
 boolean containsCond(MDVerifTransCond cond)
           
 boolean equalsTo(MDVerifCGEventSet evset)
          Check if given event set exuals to this objects event set
 int getCount()
           
 java.lang.String getString()
           
 void printInfo()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDVerifCGEventSet

public MDVerifCGEventSet()

MDVerifCGEventSet

public MDVerifCGEventSet(java.util.Vector events)
Method Detail

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()