Searched refs:getOrOperands (Results 1 – 1 of 1) sorted by relevance
769 HashSet<SemanticContext> opsA = new HashSet<SemanticContext>(getOrOperands(a)); in factorOr()770 HashSet<SemanticContext> opsB = new HashSet<SemanticContext>(getOrOperands(b)); in factorOr()805 Collection<SemanticContext> operands = getOrOperands(((NOT)context).ctx); in getAndOperands()818 public static Collection<SemanticContext> getOrOperands(SemanticContext context) in getOrOperands() method in SemanticContext