ssm  0.0.2
Runtime Library for the Sparse Synchronous Model
ssm_time Struct Reference

Heap-allocated time values. More...

#include <ssm.h>

+ Collaboration diagram for ssm_time:

Data Fields

struct ssm_mm mm
 Embedded memory management header. More...
 
ssm_time_t time
 Time value payload. More...
 

Detailed Description

Heap-allocated time values.

These should never be declared on their own, and should only be allocated on the heap using ssm_new_time().

Invariant
for all struct ssm_time t, t.mm.kind == SSM_TIME_K.

Definition at line 408 of file ssm.h.

Field Documentation

◆ mm

struct ssm_mm mm

Embedded memory management header.

Definition at line 264 of file ssm.h.

◆ time

ssm_time_t time

Time value payload.

Definition at line 410 of file ssm.h.


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