Searched refs:getEqualTo (Results 1 – 2 of 2) sorted by relevance
101 predList.emplace_back(resultPos, builder.getEqualTo(pos)); in getOperandTreePredicates()234 builder.getEqualTo(minMaxPositions.first)); in getTreePredicates()547 predList.emplace_back(operandPos, builder.getEqualTo(pos)); in visitUpward()
653 Predicate getEqualTo(Position *pos) { in getEqualTo() function