ffs.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__LIB__FFS_H
#define __CVC4__LIB__FFS_H
#ifdef HAVE_FFS
// available in strings.h
#include <strings.h>
#else /* ! HAVE_FFS */
#include "lib/replacements.h"
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
int ffs(int i);
#ifdef __cplusplus
}/* extern "C" */
#endif /* __cplusplus */
#endif /* HAVE_FFS */
#endif /* __CVC4__LIB__FFS_H */
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
ffs
int ffs(int i)