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