|
ssm
0.0.2
Runtime Library for the Sparse Synchronous Model
|
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... | |
Heap-allocated time values.
These should never be declared on their own, and should only be allocated on the heap using ssm_new_time().
struct ssm_time t, t.mm.kind == SSM_TIME_K. | ssm_time_t time |