Searched refs:opsB (Results 1 – 1 of 1) sorted by relevance
737 HashSet<SemanticContext> opsB = new HashSet<SemanticContext>(getAndOperands(b)); in factorAnd() local740 result.retainAll(opsB); in factorAnd()752 opsB.removeAll(result); in factorAnd()753 if (opsB.isEmpty()) in factorAnd()755 else if (opsB.size() == 1) in factorAnd()756 b = opsB.iterator().next(); in factorAnd()758 b = new AND(opsB); in factorAnd()770 HashSet<SemanticContext> opsB = new HashSet<SemanticContext>(getOrOperands(b)); in factorOr() local773 result.retainAll(opsB); in factorOr()785 opsB.removeAll(result); in factorOr()[all …]