OSDN Git Service

ver1.1
[nysol/mining.git] / zdd / lib / SAPPOROBDD / src / BDDXc / interface.h
diff --git a/zdd/lib/SAPPOROBDD/src/BDDXc/interface.h b/zdd/lib/SAPPOROBDD/src/BDDXc/interface.h
new file mode 100755 (executable)
index 0000000..ab92bcc
--- /dev/null
@@ -0,0 +1,9 @@
+               /* bddio libraries */
+
+bddp   Strip();                /* Strip( bddp node ) */
+int    AttributeOfEdge();      /* AttributeOfEdge( bddp edge ) */
+int    SameNode();             /* SameNode( bddp n1, n2 ) */
+short  GetLevelOf();           /* GetLevelOf( bddp node ) */
+bddp   GetLeftPtrOf();         /* GetLeftPtrOf( bddp node ) */
+bddp   GetRightPtrOf();        /* GetRightPtrOf( bddp node ) */
+bddp   ParseNode();            /* ParseNode( char *word ) */