50 int Gia_ObjFromMiniFanin0Copy( Gia_Man_t * pGia, Vec_Int_t * vCopies, Mini_Aig_t * p, int Id )  in Gia_ObjFromMiniFanin0Copy()
55 int Gia_ObjFromMiniFanin1Copy( Gia_Man_t * pGia, Vec_Int_t * vCopies, Mini_Aig_t * p, int Id )  in Gia_ObjFromMiniFanin1Copy()
62     Gia_Man_t * pGia, * pTemp;  in Gia_ManFromMiniAig()  local
111 Mini_Aig_t * Gia_ManToMiniAig( Gia_Man_t * pGia )  in Gia_ManToMiniAig()
146     Gia_Man_t * pGia;  in Abc_FrameGiaInputMiniAig()  local
158     Gia_Man_t * pGia;  in Abc_FrameGiaOutputMiniAig()  local
181     Gia_Man_t * pGia = Gia_ManFromMiniAig( p, NULL );  in Gia_ManReadMiniAig()  local
187 void Gia_ManWriteMiniAig( Gia_Man_t * pGia, char * pFileName )  in Gia_ManWriteMiniAig()
211     Gia_Man_t * pGia, * pTemp;  in Gia_ManFromMiniLut()  local
276 Vec_Bit_t * Gia_ManFindComplLuts( Gia_Man_t * pGia )  in Gia_ManFindComplLuts()
302 Mini_Lut_t * Gia_ManToMiniLut( Gia_Man_t * pGia )  in Gia_ManToMiniLut()
384 char * Gia_ManToMiniLutAttr( Gia_Man_t * pGia, void * pMiniLut )  in Gia_ManToMiniLutAttr()
407     Gia_Man_t * pGia;  in Abc_FrameGiaInputMiniLut()  local
417     Gia_Man_t * pGia;  in Abc_FrameGiaOutputMiniLut()  local
431     Gia_Man_t * pGia;  in Abc_FrameGiaOutputMiniLutAttr()  local
454     Gia_Man_t * pGia = Gia_ManFromMiniLut( p, NULL );  in Gia_ManReadMiniLut()  local
460 void Gia_ManWriteMiniLut( Gia_Man_t * pGia, char * pFileName )  in Gia_ManWriteMiniLut()
567     Gia_Man_t * pGia, * pTemp;  in Abc_FrameReadMiniLutNameMapping()  local
681     Gia_Man_t * pGia, * pTemp;  in Gia_MiniAigReduce()  local
717     Gia_Man_t * pGia, * pTemp;  in Gia_MiniAigMiter()  local
777     Gia_Man_t * pGia;  in Gia_MiniAigVerify()  local