Home
last modified time | relevance | path

Searched refs:WLC_OBJ_COMP_LESSEQU (Results 1 – 7 of 7) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcNdr.c79 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()
H A DwlcReadSmt.c192 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()
H A Dwlc.h80 WLC_OBJ_COMP_LESSEQU, // 35: compare less or equal enumerator
H A DwlcNtk.c616 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()
H A DwlcWriteVer.c473 else if ( pObj->Type == WLC_OBJ_COMP_LESSEQU ) in Wlc_WriteVerInt()
H A DwlcBlast.c1719 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()
H A DwlcReadVer.c843 …e if ( pStr[0] == '<' && pStr[1] == '=' ) pStr += 2, Type = WLC_OBJ_COMP_LESSEQU; in Wlc_PrsFindDefinition()