Searched defs:equalities (Results 1 – 2 of 2) sorted by relevance
187 SDBM SDBM::get(ArrayRef<SDBMExpr> inequalities, ArrayRef<SDBMExpr> equalities) { in get()350 SmallVectorImpl<SDBMExpr> &equalities) { in convertDBMElement()423 SmallVectorImpl<SDBMExpr> &equalities) { in getSDBMExpressions()
632 SmallVector<int64_t, 64> equalities; variable