Event activation record to push onto the event queue. More...

#include <lf_types.h>

Data Fields
pqueue_tag_element_t	base
	Base priority queue element containing tag and position.
tag_t	intended_tag
	The intended tag for this event.
lf_token_t *	token
	Pointer to the token wrapping the event's value.
trigger_t *	trigger
	Pointer to the associated trigger.

Detailed Description

Event activation record to push onto the event queue.

Field Documentation

Base priority queue element containing tag and position.

Contains the tag of release and position in the priority queue. Used by the priority queue implementation for ordering and management.

tag_t event_t::intended_tag

The intended tag for this event.

Used in federated execution to track the original intended logical time of the event.

lf_token_t* event_t::token

Pointer to the token wrapping the event's value.

Contains the actual data associated with this event. The token provides type information and value storage.

trigger_t* event_t::trigger

Pointer to the associated trigger.

Points to the trigger that generated this event. NULL if this is a dummy event.

The documentation for this struct was generated from the following file: