We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2accf61 commit 52741b9Copy full SHA for 52741b9
src/opt/ufar/UfarMgr.h
@@ -19,12 +19,12 @@
19
20
#include "misc/util/abc_namespaces.h"
21
22
+ABC_NAMESPACE_CXX_HEADER_START
23
+
24
typedef struct Wlc_Ntk_t_ Wlc_Ntk_t;
25
typedef struct Abc_Cex_t_ Abc_Cex_t;
26
typedef struct Gia_Man_t_ Gia_Man_t;
27
-ABC_NAMESPACE_CXX_HEADER_START
-
28
namespace UFAR {
29
30
using VecVecInt = std::vector<std::vector<int> >;
src/opt/untk/Netlist.h
@@ -9,10 +9,10 @@
9
10
11
12
-typedef struct Wlc_Ntk_t_ Wlc_Ntk_t;
13
14
ABC_NAMESPACE_CXX_HEADER_START
15
+typedef struct Wlc_Ntk_t_ Wlc_Ntk_t;
16
17
18
class WNetlist {
0 commit comments