Searched refs:Abc_NtkHasBlifMv (Results 1 – 7 of 7) sorted by relevance
395 assert( Abc_NtkHasBlifMv(pNtk) ); in Abc_NtkStrashBlifMv()735 assert( Abc_NtkHasBlifMv(pNtk) ); in Abc_NtkSkeletonBlifMv()878 if ( Abc_NtkHasBlifMv(pNtk) && Abc_NtkMvVar(pNtk) ) in Abc_NtkSkeletonBlifMv()918 assert( Abc_NtkHasBlifMv(pNtkBase) ); in Abc_NtkInsertBlifMv()923 assert( Abc_NtkHasBlifMv(pNtkLogic) ); in Abc_NtkInsertBlifMv()
378 else if ( Abc_NtkHasSop(pNtkNew) || Abc_NtkHasBlifMv(pNtkNew) ) in Abc_NtkDupObj()616 if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkCreateNodeConst0()647 if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkCreateNodeConst1()
107 …asBdd(pNtk) && !Abc_NtkHasAig(pNtk) && !Abc_NtkHasMapping(pNtk) && !Abc_NtkHasBlifMv(pNtk) && !Abc… in Abc_NtkDoCheck()558 else if ( !Abc_NtkHasMapping(pNtk) && !Abc_NtkHasBlifMv(pNtk) && !Abc_NtkHasAig(pNtk) ) in Abc_NtkCheckNode()
165 if ( Abc_NtkHasBlifMv(pNtk) && Abc_NtkMvVar(pNtk) ) in Abc_NtkFlattenLogicHierarchy2_rec()395 if ( Abc_NtkHasBlifMv(pNtk) && Abc_NtkMvVar(pNtk) ) in Abc_NtkFlattenLogicHierarchy_rec()
79 else if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkAlloc()1364 else if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkDelete()
258 static inline int Abc_NtkHasBlifMv( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_… in Abc_NtkHasBlifMv() function
64 assert( Abc_NtkHasBlifMv(pNtk) ); in Io_WriteBlifMv()