Searched refs:Acb_NtkPrintNode (Results 1 – 3 of 3) sorted by relevance
441 Acb_NtkPrintNode( p, vVec->pArray[i] ); in Acb_NtkPrintVec2()449 Acb_NtkPrintNode( p, Abc_Lit2Var(vVec->pArray[i]) ); in Acb_NtkPrintVecWin()
404 void Acb_NtkPrintNode( Acb_Ntk_t * p, int iObj ) in Acb_NtkPrintNode() function
1027 extern void Acb_NtkPrintNode( Acb_Ntk_t * p, int iObj );