Searched refs:IS_INT_ASSUMPTION (Results 1 – 1 of 1) sorted by relevance
178 IS_INT_ASSUMPTION = 0x40, enumerator1363 return d_expr->d_dynamicFlags.get(IS_INT_ASSUMPTION); in isIntAssumption()1510 d_expr->d_dynamicFlags.set(IS_INT_ASSUMPTION); in setIntAssumption()