Searched refs:Dtc_ObjCleanTruth_rec (Results 1 – 1 of 1) sorted by relevance
244 void Dtc_ObjCleanTruth_rec( Gia_Obj_t * pObj ) in Dtc_ObjCleanTruth_rec() function251 Dtc_ObjCleanTruth_rec( Gia_ObjFanin0(pObj) ); in Dtc_ObjCleanTruth_rec()252 Dtc_ObjCleanTruth_rec( Gia_ObjFanin1(pObj) ); in Dtc_ObjCleanTruth_rec()260 Dtc_ObjCleanTruth_rec( Gia_ManObj(p, iObj) ); in Dtc_ObjComputeTruth()