Searched refs:Abc_ConvertAigToBdd_rec1 (Results 1 – 1 of 1) sorted by relevance
723 void Abc_ConvertAigToBdd_rec1( DdManager * dd, Hop_Obj_t * pObj ) in Abc_ConvertAigToBdd_rec1() function728 Abc_ConvertAigToBdd_rec1( dd, Hop_ObjFanin0(pObj) ); in Abc_ConvertAigToBdd_rec1()729 Abc_ConvertAigToBdd_rec1( dd, Hop_ObjFanin1(pObj) ); in Abc_ConvertAigToBdd_rec1()778 Abc_ConvertAigToBdd_rec1( dd, Hop_Regular(pRoot) ); in Abc_ConvertAigToBdd()