diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2017-11-23 23:32:44 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2017-11-23 23:32:44 -0800 |
| commit | 7bcfe6436938d8354f499522b3d013229931b009 (patch) | |
| tree | 1342cd4aef4079c926d546fa96e83e4d29d48f89 /src/sat/glucose/AbcGlucose.cpp | |
| parent | d438d9c1b6195806f74c5867c53518988a5e8d5c (diff) | |
| download | abc-7bcfe6436938d8354f499522b3d013229931b009.tar.gz abc-7bcfe6436938d8354f499522b3d013229931b009.tar.bz2 abc-7bcfe6436938d8354f499522b3d013229931b009.zip | |
C++ comaptibility: add namespace support to Glucose
Diffstat (limited to 'src/sat/glucose/AbcGlucose.cpp')
| -rw-r--r-- | src/sat/glucose/AbcGlucose.cpp | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/sat/glucose/AbcGlucose.cpp b/src/sat/glucose/AbcGlucose.cpp index 6069065b..247bc89a 100644 --- a/src/sat/glucose/AbcGlucose.cpp +++ b/src/sat/glucose/AbcGlucose.cpp @@ -26,15 +26,14 @@ #include "sat/glucose/AbcGlucose.h" +#include "base/abc/abc.h" #include "aig/gia/gia.h" #include "sat/cnf/cnf.h" #include "misc/extra/extra.h" -using namespace Gluco; - ABC_NAMESPACE_IMPL_START -extern "C" { +using namespace Gluco; //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -1367,6 +1366,4 @@ int Glucose_SolveAig(Gia_Man_t * p, Glucose_Pars * pPars) /// END OF FILE /// //////////////////////////////////////////////////////////////////////// -} - ABC_NAMESPACE_IMPL_END |