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 */
strtok_r
char * strtok_r(char *str, const char *delim, char **saveptr)
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
src
lib
strtok_r.h
Generated by
1.8.13