Searched refs:EqualityExtractor (Results 1 – 1 of 1) sorted by relevance
698 return EqualityExtractor().Visit(Sym); in extract()702 class EqualityExtractor class703 : public SymExprVisitor<EqualityExtractor, Optional<EqualityInfo>> {