Searched refs:nBddSize0 (Results 1 – 1 of 1) sorted by relevance
432 int nIters, nBddSize0, nBddSize = -1, NumCmp;//, Limit = p->pPars->nBddMax; in Llb_NonlinReachability() local519 nBddSize0 = Cudd_DagSize( p->dd->bFunc ); in Llb_NonlinReachability()630 printf( "Fr =%7d ", nBddSize0 ); in Llb_NonlinReachability()