Searched refs:Cnf_DeriveGiaRemapped (Results 1 – 6 of 6) sorted by relevance
48 static inline Cnf_Dat_t * Cnf_DeriveGiaRemapped( Gia_Man_t * p ) in Cnf_DeriveGiaRemapped() function149 Cnf_Dat_t * pCnf = Cnf_DeriveGiaRemapped( pM ); in Gia_ManMaxiPerform()
117 static inline Cnf_Dat_t * Cnf_DeriveGiaRemapped( Gia_Man_t * p ) in Cnf_DeriveGiaRemapped() function208 Cnf_Dat_t * pCnf = Cnf_DeriveGiaRemapped( p ); in Bmc_EcoPatch()
48 static inline Cnf_Dat_t * Cnf_DeriveGiaRemapped( Gia_Man_t * p ) in Cnf_DeriveGiaRemapped() function221 pCnf = Cnf_DeriveGiaRemapped( pMiter ); in Bmc_PerformICheck()392 pCnf = Cnf_DeriveGiaRemapped( pMiter ); in Bmc_PerformISearchOne()
48 static inline Cnf_Dat_t * Cnf_DeriveGiaRemapped( Gia_Man_t * p ) in Cnf_DeriveGiaRemapped() function232 pCnf = Cnf_DeriveGiaRemapped( pPart ); in Bmc_BmciPerform()
333 static inline Cnf_Dat_t * Cnf_DeriveGiaRemapped( Gia_Man_t * p ) in Cnf_DeriveGiaRemapped() function1074 pCnf2 = Cnf_DeriveGiaRemapped( pC ); in Gia_ManFaultAddOne()1318 pCnf2 = Cnf_DeriveGiaRemapped( pC ); in Gia_ManFaultDumpNewFaults()1406 pCnf = Cnf_DeriveGiaRemapped( pM ); in Gia_ManFaultPrepare()
586 static inline Cnf_Dat_t * Cnf_DeriveGiaRemapped( Gia_Man_t * p ) in Cnf_DeriveGiaRemapped() function601 pCnf = Cnf_DeriveGiaRemapped( p ); in Ifn_ManStrFindSolver()