Searched refs:getAndOperands (Results 1 – 1 of 1) sorted by relevance
736 HashSet<SemanticContext> opsA = new HashSet<SemanticContext>(getAndOperands(a)); in factorAnd()737 HashSet<SemanticContext> opsB = new HashSet<SemanticContext>(getAndOperands(b)); in factorAnd()799 public static Collection<SemanticContext> getAndOperands(SemanticContext context) in getAndOperands() method in SemanticContext824 Collection<SemanticContext> operands = getAndOperands(((NOT)context).ctx); in getOrOperands()