The Pedigree Project 0.1
Public Attributes | List of all members
clock_jump Struct Reference
+ Collaboration diagram for clock_jump:

Public Attributes

int64_t before_real
 
int64_t before_mono
 
int64_t target
 
int64_t after_real
 
int64_t after_mono
 
int64_t observed_real
 
int64_t observed_mono
 

Detailed Description

Definition at line 45 of file signal-timer-contract-test/clock.c.

Member Data Documentation

◆ after_mono

int64_t clock_jump::after_mono

Definition at line 46 of file signal-timer-contract-test/clock.c.

◆ after_real

int64_t clock_jump::after_real

Definition at line 46 of file signal-timer-contract-test/clock.c.

◆ before_mono

int64_t clock_jump::before_mono

Definition at line 46 of file signal-timer-contract-test/clock.c.

◆ before_real

int64_t clock_jump::before_real

Definition at line 46 of file signal-timer-contract-test/clock.c.

◆ observed_mono

int64_t clock_jump::observed_mono

Definition at line 46 of file signal-timer-contract-test/clock.c.

◆ observed_real

int64_t clock_jump::observed_real

Definition at line 46 of file signal-timer-contract-test/clock.c.

◆ target

int64_t clock_jump::target

Definition at line 46 of file signal-timer-contract-test/clock.c.


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