An uncompiled event. More...
#include <event.h>
Public Member Functions | |
Event (const Event &event) | |
virtual size_t | hash_code () const =0 |
Returns the hash value of this event. | |
virtual bool | operator!= (const Event &event) const =0 |
Compares two events for inequality. | |
Event & | operator= (const Event &event) |
virtual bool | operator== (const Event &event) const =0 |
Compares two events for equality. | |
virtual std::string | to_string () const =0 |
Pretty prints this event. |
An uncompiled event.
This represents an event as viewed before conversion into a LTS. The main difference to LTS::CompiledEvent is that this can be pretty-printed (i.e. converted into a string), but it is less efficient.
This MUST not be subclassed.
virtual bool FDR::Evaluator::Event::operator!= | ( | const Event & | event | ) | const [pure virtual] |
Compares two events for inequality.
Events from different sessions should not be mixed.
virtual bool FDR::Evaluator::Event::operator== | ( | const Event & | event | ) | const [pure virtual] |
Compares two events for equality.
Events from different sessions should not be mixed.