Searched refs:comparePosDepth (Results 1 – 1 of 1) sorted by relevance
37 static bool comparePosDepth(Position *lhs, Position *rhs) { in comparePosDepth() function232 std::minmax(pos, it.first->second, comparePosDepth); in getTreePredicates()274 comparePosDepth); in getConstraintPredicates()