ver1.1

[nysol/mining.git] / zdd / lib / SAPPOROBDD / src / BDD+ / BDDX11.cc

diff --git a/zdd/lib/SAPPOROBDD/src/BDD+/BDDX11.cc b/zdd/lib/SAPPOROBDD/src/BDD+/BDDX11.cc
new file mode 100755 (executable)
index 0000000..ccbd9d9
--- /dev/null
+++ b/zdd/lib/SAPPOROBDD/src/BDD+/BDDX11.cc
@@ -0,0 +1,34 @@
+/****************************************
+ * BDD+ Manipulator (SAPPORO-1.55)      *
+ * (Graphic methods)                    *
+ * (C) Shin-ichi MINATO (Dec. 11, 2012) *
+ ****************************************/
+
+#include "BDD.h"
+
+void BDD::XPrint0() const
+{
+       bddgraph0(_bdd);
+}
+
+void BDDV::XPrint0() const
+{
+       bddword* bddv = new bddword[_len];
+       for(int i=0; i<_len; i++) bddv[i] = GetBDD(i).GetID(); 
+       bddvgraph0(bddv, _len);
+       delete[] bddv;
+}
+
+void BDD::XPrint() const
+{
+       bddgraph(_bdd);
+}
+
+void BDDV::XPrint() const
+{
+       bddword* bddv = new bddword[_len];
+       for(int i=0; i<_len; i++) bddv[i] = GetBDD(i).GetID(); 
+       bddvgraph(bddv, _len);
+       delete[] bddv;
+}
+