Searched refs:comparePosDepth (Results 1 – 1 of 1) sorted by relevance
24 static bool comparePosDepth(Position *lhs, Position *rhs) { in comparePosDepth() function40 auto minMaxPositions = std::minmax(pos, it.first->second, comparePosDepth); in getTreePredicates()164 comparePosDepth); in collectConstraintPredicates()