strtok_r.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__LIB__STRTOK_R_H
#define __CVC4__LIB__STRTOK_R_H
#ifdef HAVE_STRTOK_R
// available in string.h
#include <string.h>
#else /* ! HAVE_STRTOK_R */
#include "lib/replacements.h"
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
char* strtok_r(char *str, const char *delim, char **saveptr);
#ifdef __cplusplus
}/* extern "C" */
#endif /* __cplusplus */
#endif /* HAVE_STRTOK_R */
#endif /* __CVC4__LIB__STRTOK_R_H */
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
strtok_r
char * strtok_r(char *str, const char *delim, char **saveptr)