Searched refs:WLC_OBJ_COMP_LESSEQU (Results 1 – 7 of 7) sorted by relevance
79 if ( Type == ABC_OPER_COMP_LESSEQU ) return WLC_OBJ_COMP_LESSEQU; // 35: compare less or equal in Ndr_TypeNdr2Wlc()139 if ( Type == WLC_OBJ_COMP_LESSEQU ) return ABC_OPER_COMP_LESSEQU; // 35: compare less or equal in Ndr_TypeWlc2Ndr()
192 Type = WLC_OBJ_COMP_LESSEQU; // 31: compare less or equal in Smt_StrToType()200 Type = WLC_OBJ_COMP_LESSEQU, *pfSigned = 1; // 31: compare less or equal in Smt_StrToType()337 Type == WLC_OBJ_COMP_LESSEQU || // 35: compare less or equal in Smt_PrsCreateNode()
80 WLC_OBJ_COMP_LESSEQU, // 35: compare less or equal enumerator
616 else if ( pObj->Type == WLC_OBJ_COMP_LESSEQU ) in Wlc_NtkPrintDistrib()617 … Vec_IntAddToEntry( vAnds, WLC_OBJ_COMP_LESSEQU, 6 * Wlc_ObjRange(Wlc_ObjFanin0(p, pObj)) - 6 ); in Wlc_NtkPrintDistrib()
473 else if ( pObj->Type == WLC_OBJ_COMP_LESSEQU ) in Wlc_WriteVerInt()
1719 pObj->Type == WLC_OBJ_COMP_MORE || pObj->Type == WLC_OBJ_COMP_LESSEQU ) in Wlc_NtkBitBlast()1725 int fSwap = (pObj->Type == WLC_OBJ_COMP_MORE || pObj->Type == WLC_OBJ_COMP_LESSEQU); in Wlc_NtkBitBlast()1726 int fCompl = (pObj->Type == WLC_OBJ_COMP_MOREEQU || pObj->Type == WLC_OBJ_COMP_LESSEQU); in Wlc_NtkBitBlast()
843 …e if ( pStr[0] == '<' && pStr[1] == '=' ) pStr += 2, Type = WLC_OBJ_COMP_LESSEQU; in Wlc_PrsFindDefinition()