From 8a91a9afe8d56b7f266e4a9e64aceac8737395dc Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 29 Sep 2012 19:44:45 -0400
Subject: [PATCH] Experiments with mini AIG manager.

---
 Makefile                                |  1 +
 abclib.dsp                              | 12 ++++++++----
 src/{base/abc => aig/miniaig}/miniaig.h |  0
 src/aig/miniaig/module.make             |  1 +
 src/base/abci/abcMini.c                 |  2 +-
 5 files changed, 11 insertions(+), 5 deletions(-)
 rename src/{base/abc => aig/miniaig}/miniaig.h (100%)
 create mode 100644 src/aig/miniaig/module.make

diff --git a/Makefile b/Makefile
index 0ae0c4bcb..e5b7077a9 100644
--- a/Makefile
+++ b/Makefile
@@ -25,6 +25,7 @@ MODULES := \
 	src/proof/cec src/proof/dch src/proof/fraig src/proof/fra src/proof/ssw \
 	src/proof/abs \
 	src/aig/aig src/aig/saig src/aig/gia src/aig/ioa src/aig/ivy src/aig/hop \
+	src/aig/miniaig \
 	src/python 
 
 all: $(PROG)
diff --git a/abclib.dsp b/abclib.dsp
index 0a7ae815d..ad0a839a3 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -177,10 +177,6 @@ SOURCE=.\src\base\abc\abcSop.c
 
 SOURCE=.\src\base\abc\abcUtil.c
 # End Source File
-# Begin Source File
-
-SOURCE=.\src\base\abc\miniaig.h
-# End Source File
 # End Group
 # Begin Group "abci"
 
@@ -3562,6 +3558,14 @@ SOURCE=.\src\aig\gia\giaTsim.c
 SOURCE=.\src\aig\gia\giaUtil.c
 # End Source File
 # End Group
+# Begin Group "miniaig"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\aig\miniaig\miniaig.h
+# End Source File
+# End Group
 # End Group
 # Begin Group "bool"
 
diff --git a/src/base/abc/miniaig.h b/src/aig/miniaig/miniaig.h
similarity index 100%
rename from src/base/abc/miniaig.h
rename to src/aig/miniaig/miniaig.h
diff --git a/src/aig/miniaig/module.make b/src/aig/miniaig/module.make
new file mode 100644
index 000000000..d6d908e73
--- /dev/null
+++ b/src/aig/miniaig/module.make
@@ -0,0 +1 @@
+SRC += 
diff --git a/src/base/abci/abcMini.c b/src/base/abci/abcMini.c
index a43b7d7b5..dd80c64d7 100644
--- a/src/base/abci/abcMini.c
+++ b/src/base/abci/abcMini.c
@@ -20,7 +20,7 @@
 
 #include "base/abc/abc.h"
 #include "base/main/main.h"
-#include "base/abc/miniaig.h"
+#include "aig/miniaig/miniaig.h"
 
 ABC_NAMESPACE_IMPL_START