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
32extern "C" {
33#endif /* __cplusplus */
34
35char* 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 */
Macros that should be defined everywhere during the building of the libraries and driver binary,...
char * strtok_r(char *str, const char *delim, char **saveptr)