cvc4-1.4
strtok_r.h
Go to the documentation of this file.
1 /********************* */
17 #include "cvc4_public.h"
18 
19 #ifndef __CVC4__LIB__STRTOK_R_H
20 #define __CVC4__LIB__STRTOK_R_H
21 
22 #ifdef HAVE_STRTOK_R
23 
24 // available in string.h
25 #include <string.h>
26 
27 #else /* ! HAVE_STRTOK_R */
28 
29 #include "lib/replacements.h"
30 
31 #ifdef __cplusplus
32 extern "C" {
33 #endif /* __cplusplus */
34 
35 char* strtok_r(char *str, const char *delim, char **saveptr);
36 
37 #ifdef __cplusplus
38 }/* extern "C" */
39 #endif /* __cplusplus */
40 
41 #endif /* HAVE_STRTOK_R */
42 #endif /* __CVC4__LIB__STRTOK_R_H */
char * strtok_r(char *str, const char *delim, char **saveptr)
Macros that should be defined everywhere during the building of the libraries and driver binary...