Searched refs:opsA (Results 1 – 1 of 1) sorted by relevance
736 HashSet<SemanticContext> opsA = new HashSet<SemanticContext>(getAndOperands(a)); in factorAnd() local739 HashSet<SemanticContext> result = new HashSet<SemanticContext>(opsA); in factorAnd()744 opsA.removeAll(result); in factorAnd()745 if (opsA.isEmpty()) in factorAnd()747 else if (opsA.size() == 1) in factorAnd()748 a = opsA.iterator().next(); in factorAnd()750 a = new AND(opsA); in factorAnd()769 HashSet<SemanticContext> opsA = new HashSet<SemanticContext>(getOrOperands(a)); in factorOr() local772 HashSet<SemanticContext> result = new HashSet<SemanticContext>(opsA); in factorOr()777 opsA.removeAll(result); in factorOr()[all …]