Searched refs:Llb_NonlinComputeInitState (Results 1 – 2 of 2) sorted by relevance
214 DdNode * Llb_NonlinComputeInitState( Aig_Man_t * pAig, DdManager * dd ) in Llb_NonlinComputeInitState() function469 …p->dd->bFunc = Llb_NonlinComputeInitState( p->pAig, p->dd ); Cudd_Ref( p->dd->bFunc ); // cu… in Llb_NonlinReachability()470 …p->ddG->bFunc = Llb_NonlinComputeInitState( p->pAig, p->ddG ); Cudd_Ref( p->ddG->bFunc ); // re… in Llb_NonlinReachability()471 …p->ddG->bFunc2 = Llb_NonlinComputeInitState( p->pAig, p->ddG ); Cudd_Ref( p->ddG->bFunc2 ); // fr… in Llb_NonlinReachability()
185 extern DdNode * Llb_NonlinComputeInitState( Aig_Man_t * pAig, DdManager * dd );