Home
last modified time | relevance | path

Searched refs:SBD_CUT_NO_LEAF (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdCut.c34 #define SBD_CUT_NO_LEAF 0xF macro
337 pCuts[i]->nLeaves = SBD_CUT_NO_LEAF, fChanges = 1; in Sbd_CutSetLastCutContains()
342 if ( pCuts[i]->nLeaves == SBD_CUT_NO_LEAF ) in Sbd_CutSetLastCutContains()
671 assert( nCutSize < SBD_CUT_NO_LEAF ); in Sbd_StoAlloc()
H A DsbdCut2.c33 #define SBD_CUT_NO_LEAF 0xF macro
90 assert( nCutSize < SBD_CUT_NO_LEAF ); in Sbd_ManCutServerStart()