cvc4-1.3
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
clock_gettime.h
Go to the documentation of this file.
1
/********************* */
17
#include "
cvc4_public.h
"
18
19
#ifndef __CVC4__LIB__CLOCK_GETTIME_H
20
#define __CVC4__LIB__CLOCK_GETTIME_H
21
22
#include "lib/replacements.h"
23
24
#ifdef HAVE_CLOCK_GETTIME
25
26
/* it should be available from <time.h> */
27
#include <time.h>
28
29
#else
/* HAVE_CLOCK_GETTIME */
30
31
/* otherwise, we have to define it */
32
33
#if defined(__WIN32__) && !defined(__WIN64__)
34
35
#ifdef __cplusplus
36
extern
"C"
{
37
#endif
/* __cplusplus */
38
39
struct
timespec {
40
uint64_t tv_sec;
41
int32_t tv_nsec;
42
};
/* struct timespec */
43
44
#ifdef __cplusplus
45
}
/* extern "C" */
46
#endif
/* __cplusplus */
47
48
#else
/* !__WIN32__ || __WIN64__ */
49
50
/* get timespec from <time.h> */
51
#include <time.h>
52
53
#endif
/* __WIN32__ && !__WIN64__ */
54
55
#ifdef __cplusplus
56
extern
"C"
{
57
#endif
/* __cplusplus */
58
59
struct
timespec;
60
61
typedef
enum
{
62
CLOCK_REALTIME
,
63
CLOCK_MONOTONIC
,
64
CLOCK_REALTIME_HR
,
65
CLOCK_MONOTONIC_HR
66
}
clockid_t
;
67
68
long
clock_gettime
(
clockid_t
which_clock,
struct
timespec* tp);
69
70
#ifdef __cplusplus
71
}
/* extern "C" */
72
#endif
/* __cplusplus */
73
74
#endif
/* HAVE_CLOCK_GETTIME */
75
#endif
/*__CVC4__LIB__CLOCK_GETTIME_H */
clockid_t
clockid_t
Definition:
clock_gettime.h:61
clock_gettime
long clock_gettime(clockid_t which_clock, struct timespec *tp)
CLOCK_REALTIME
Definition:
clock_gettime.h:62
CLOCK_REALTIME_HR
Definition:
clock_gettime.h:64
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
CLOCK_MONOTONIC
Definition:
clock_gettime.h:63
CLOCK_MONOTONIC_HR
Definition:
clock_gettime.h:65
src
lib
clock_gettime.h
Generated by
1.8.7