FDR::Evaluator::Event Class Reference

An uncompiled event. More...

#include <event.h>

List of all members.

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.
Eventoperator= (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.

Detailed Description

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.


Member Function Documentation

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.


The documentation for this class was generated from the following file:
 All Classes Functions

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1