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 */
ffs
int ffs(int i)
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
src
lib
ffs.h
Generated by
1.8.13