clock_gettime.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__LIB__CLOCK_GETTIME_H
#define __CVC4__LIB__CLOCK_GETTIME_H
#include "lib/replacements.h"
#ifdef HAVE_CLOCK_GETTIME
/* it should be available from <time.h> */
#include <time.h>
#else /* HAVE_CLOCK_GETTIME */
/* otherwise, we have to define it */
#if defined(__WIN32__) && !defined(_W64)
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
struct timespec {
uint64_t tv_sec;
int32_t tv_nsec;
};/* struct timespec */
#ifdef __cplusplus
}/* extern "C" */
#endif /* __cplusplus */
#else /* !__WIN32__ || _W64 */
/* get timespec from <time.h> */
#include <time.h>
#endif /* __WIN32__ && !_W64 */
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
struct timespec;
typedef enum {
CLOCK_REALTIME,
CLOCK_MONOTONIC,
CLOCK_REALTIME_HR,
CLOCK_MONOTONIC_HR
} clockid_t;
long clock_gettime(clockid_t which_clock, struct timespec* tp);
#ifdef __cplusplus
}/* extern "C" */
#endif /* __cplusplus */
#endif /* HAVE_CLOCK_GETTIME */
#endif /*__CVC4__LIB__CLOCK_GETTIME_H */
clockid_t
clockid_t
Definition clock_gettime.h:61
CLOCK_MONOTONIC
@ CLOCK_MONOTONIC
Definition clock_gettime.h:63
CLOCK_REALTIME_HR
@ CLOCK_REALTIME_HR
Definition clock_gettime.h:64
CLOCK_REALTIME
@ CLOCK_REALTIME
Definition clock_gettime.h:62
CLOCK_MONOTONIC_HR
@ CLOCK_MONOTONIC_HR
Definition clock_gettime.h:65
clock_gettime
long clock_gettime(clockid_t which_clock, struct timespec *tp)
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...