Skip to content

A
abc
Commit 13b0d171 by MyskYko
Options

abc cxx namespace

parent 6e985705
Showing with 12 additions and 0 deletions
src/aig/gia/giaNewBdd.h
...@@ -7,6 +7,8 @@ ...@@ -7,6 +7,8 @@
#include <iomanip> #include <iomanip>
#include <cmath> #include <cmath>
ABC_NAMESPACE_CXX_HEADER_START
namespace NewBdd { namespace NewBdd {
typedef unsigned short var; typedef unsigned short var;
...@@ -796,4 +798,6 @@ namespace NewBdd { ...@@ -796,4 +798,6 @@ namespace NewBdd {
} }
ABC_NAMESPACE_CXX_HEADER_END
#endif #endif
src/aig/gia/giaNewTt.h
...@@ -7,6 +7,8 @@ ...@@ -7,6 +7,8 @@
#include <vector> #include <vector>
#include <bitset> #include <bitset>
ABC_NAMESPACE_CXX_HEADER_START
namespace NewTt { namespace NewTt {
typedef int bvar; typedef int bvar;
...@@ -246,4 +248,6 @@ namespace NewTt { ...@@ -246,4 +248,6 @@ namespace NewTt {
} }
ABC_NAMESPACE_CXX_HEADER_END
#endif #endif
src/aig/gia/giaTransduction.h
...@@ -11,6 +11,8 @@ ...@@ -11,6 +11,8 @@
#include "gia.h" #include "gia.h"
ABC_NAMESPACE_CXX_HEADER_START
namespace Transduction { namespace Transduction {
enum PfState {none, cspf, mspf}; enum PfState {none, cspf, mspf};
...@@ -1596,4 +1598,6 @@ public: // Debug and print ...@@ -1596,4 +1598,6 @@ public: // Debug and print
} }
ABC_NAMESPACE_CXX_HEADER_END
#endif #endif
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment