X-Git-Url: http://git.osdn.net/view?a=blobdiff_plain;f=zdd%2Flib%2FSAPPOROBDD%2Fsrc%2FBDD%2B%2FBDDX11.cc;fp=zdd%2Flib%2FSAPPOROBDD%2Fsrc%2FBDD%2B%2FBDDX11.cc;h=ccbd9d90101b4ef5009e792d1f5c1673eae47087;hb=88f10de3c17465a64b310e71692d325cc4cc80c2;hp=0000000000000000000000000000000000000000;hpb=25f862005498ae4981dd973362833c756eb21a96;p=nysol%2Fmining.git

diff --git a/zdd/lib/SAPPOROBDD/src/BDD+/BDDX11.cc b/zdd/lib/SAPPOROBDD/src/BDD+/BDDX11.cc
new file mode 100755
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;
+}
+