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