ver1.1

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

diff --git a/zdd/lib/SAPPOROBDD/src/BDD+/CtoIX11.cc b/zdd/lib/SAPPOROBDD/src/BDD+/CtoIX11.cc
new file mode 100755 (executable)
index 0000000..77a5140
--- /dev/null
+++ b/zdd/lib/SAPPOROBDD/src/BDD+/CtoIX11.cc
@@ -0,0 +1,26 @@
+/****************************************
+ * CtoI Class (SAPPORO-1.55)            *
+ * (Graphic methods)                    *
+ * (C) Shin-ichi MINATO (Dec. 11, 2012) *
+ ****************************************/
+
+#include "CtoI.h"
+
+void CtoI::XPrint() const
+{
+       int len = TopDigit() + 1;
+       bddword* bddv = new bddword[len];
+       for(int i=0; i<len; i++) bddv[i] = Digit(i).GetZBDD().GetID(); 
+       bddvgraph(bddv, len);
+       delete[] bddv;
+}
+
+void CtoI::XPrint0() const
+{
+       int len = TopDigit() + 1;
+       bddword* bddv = new bddword[len];
+       for(int i=0; i<len; i++) bddv[i] = Digit(i).GetZBDD().GetID(); 
+       bddvgraph0(bddv, len);
+       delete[] bddv;
+}
+