Searched refs:CommutativePredicate (Results 1 – 1 of 1) sorted by relevance
306 public static abstract class CommutativePredicate extends SemanticContext { class in SemanticContext310 public CommutativePredicate(SemanticContext a, SemanticContext b) { in CommutativePredicate() method in SemanticContext.CommutativePredicate312 CommutativePredicate predicate = (CommutativePredicate)a; in CommutativePredicate()319 CommutativePredicate predicate = (CommutativePredicate)b; in CommutativePredicate()328 public CommutativePredicate(HashSet<SemanticContext> contexts){ in CommutativePredicate() method in SemanticContext.CommutativePredicate331 CommutativePredicate predicate = (CommutativePredicate)context; in CommutativePredicate()386 CommutativePredicate commutative = (CommutativePredicate)obj; in equals()397 if (not.ctx instanceof CommutativePredicate && not.ctx.getClass() != this.getClass()) { in equals()398 Set<SemanticContext> otherOperands = ((CommutativePredicate)not.ctx).operands; in equals()442 public static class AND extends CommutativePredicate {[all …]