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
32 extern "C" {
33 #endif /* __cplusplus */
34 
35 int ffs(int i);
36 
37 #ifdef __cplusplus
38 }/* extern "C" */
39 #endif /* __cplusplus */
40 
41 #endif /* HAVE_FFS */
42 #endif /* __CVC4__LIB__FFS_H */
int ffs(int i)
Macros that should be defined everywhere during the building of the libraries and driver binary...