diff options
author | lianah <lianahady@gmail.com> | 2013-02-01 19:43:37 -0500 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-02-01 19:43:37 -0500 |
commit | 764bda53ed154495286d7ff117aa7182a8ce5f7b (patch) | |
tree | ad0466a34055b19b1d91e0590415f7e93cee8f27 /src/lib/ffs.h | |
parent | f0988a89ecc0e5f2995dc8d390b5e9df2fa5421f (diff) | |
parent | 8c5e895525ec87ba0285c281b45144eab79b66f9 (diff) |
merged master into branch
Diffstat (limited to 'src/lib/ffs.h')
-rw-r--r-- | src/lib/ffs.h | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/src/lib/ffs.h b/src/lib/ffs.h new file mode 100644 index 000000000..9b038d429 --- /dev/null +++ b/src/lib/ffs.h @@ -0,0 +1,42 @@ +/********************* */ +/*! \file ffs.h + ** \verbatim + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of CVC4. + ** Copyright (c) 2009-2013 New York University and The University of Iowa + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief Replacement for ffs() for systems without it (like Win32) + ** + ** Replacement for ffs() for systems without it (like Win32). + **/ + +#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 */ |