FDR::Evaluator::Event Class Reference

An uncompiled event. More...

#include <event.h>

Public Member Functions
	Event (const Event &event)=delete
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. More...
Event &	operator= (const Event &event)=delete
virtual bool	operator== (const Event &event) const =0
	Compares two events for equality. More...
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

operator!=()

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.

operator==()

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:

• libfdr/include/fdr/evaluator/event.h