zdd/lib/SAPPOROBDD/src/BDDXc/interface.h

   1                 /* bddio libraries */
   2
   3 bddp    Strip();                /* Strip( bddp node ) */
   4 int     AttributeOfEdge();      /* AttributeOfEdge( bddp edge ) */
   5 int     SameNode();             /* SameNode( bddp n1, n2 ) */
   6 short   GetLevelOf();           /* GetLevelOf( bddp node ) */
   7 bddp    GetLeftPtrOf();         /* GetLeftPtrOf( bddp node ) */
   8 bddp    GetRightPtrOf();        /* GetRightPtrOf( bddp node ) */
   9 bddp    ParseNode();            /* ParseNode( char *word ) */