Searched refs:WLC_OBJ_BIT_NAND (Results 1 – 7 of 7) sorted by relevance
60 if ( Type == ABC_OPER_BIT_NAND ) return WLC_OBJ_BIT_NAND; // 19: bitwise AND in Ndr_TypeNdr2Wlc()121 if ( Type == WLC_OBJ_BIT_NAND ) return ABC_OPER_BIT_NAND; // 19: bitwise AND in Ndr_TypeWlc2Ndr()
64 WLC_OBJ_BIT_NAND, // 19: bitwise NAND enumerator
160 Type = WLC_OBJ_BIT_NAND; // 16: bitwise NAND in Smt_StrToType()325 Type == WLC_OBJ_BIT_NAND || // 19: bitwise AND in Smt_PrsCreateNode()
584 else if ( pObj->Type == WLC_OBJ_BIT_NAND ) in Wlc_NtkPrintDistrib()585 Vec_IntAddToEntry( vAnds, WLC_OBJ_BIT_NAND, Wlc_ObjRange(Wlc_ObjFanin0(p, pObj)) ); in Wlc_NtkPrintDistrib()
451 else if ( pObj->Type == WLC_OBJ_BIT_NAND ) in Wlc_WriteVerInt()
832 …else if ( pStr[0] == '~' && pStr[1] == '&' ) pStr += 2, Type = WLC_OBJ_BIT_NAND;… in Wlc_PrsFindDefinition()
1576 else if ( pObj->Type == WLC_OBJ_BIT_AND || pObj->Type == WLC_OBJ_BIT_NAND ) in Wlc_NtkBitBlast()1582 …( vRes, Abc_LitNotCond(Gia_ManHashAnd(pNew, pArg0[k], pArg1[k]), pObj->Type == WLC_OBJ_BIT_NAND) ); in Wlc_NtkBitBlast()