@Test public void testEquals() { final ExplPrec p1 = ExplPrec.empty(); final ExplPrec p2 = ExplPrec.empty(); final ExplPrec p3 = ExplPrec.of(Collections.emptySet()); final ExplPrec p4 = ExplPrec.of(Collections.singleton(x)); final ExplPrec p5 = ExplPrec.of(Collections.singleton(x)); final ExplPrec p6 = ExplPrec.of(ImmutableSet.of(x, y)); final ExplPrec p7 = ExplPrec.of(ImmutableSet.of(x, y)); Assert.assertEquals(p1, p2); Assert.assertEquals(p1, p3); Assert.assertEquals(p2, p3); Assert.assertEquals(p4, p5); Assert.assertEquals(p6, p7); Assert.assertNotEquals(p1, p4); Assert.assertNotEquals(p5, p7); }
@Override public boolean equals(final Object obj) { if (this == obj) { return true; } else if (obj instanceof ExplPrec) { final ExplPrec that = (ExplPrec) obj; return this.getVars().equals(that.getVars()); } else { return false; } }
ExplPrec implements Prec { @Override public boolean equals(final Object obj) { if (this == obj) { return true; } else if (obj instanceof ExplPrec) { final ExplPrec that = (ExplPrec) obj; return this.getVars().equals(that.getVars()); } else { return false; } } }
ExplPrec implements Prec { @Override public boolean equals(final Object obj) { if (this == obj) { return true; } else if (obj instanceof ExplPrec) { final ExplPrec that = (ExplPrec) obj; return this.getVars().equals(that.getVars()); } else { return false; } } private  ExplPrec(final Iterable<? extends VarDecl<?>> vars); }
ExplPrec implements Prec { @Override public boolean equals(final Object obj) { if (this == obj) { return true; } else if (obj instanceof ExplPrec) { final ExplPrec that = (ExplPrec) obj; return this.getVars().equals(that.getVars()); } else { return false; } } private  ExplPrec(final Iterable<? extends VarDecl<?>> vars); static ExplPrec empty(); static ExplPrec of(final Iterable<? extends VarDecl<?>> vars); Set<VarDecl<?>> getVars(); ExplPrec join(final ExplPrec other); ExplState createState(final Valuation valuation); @Override String toString(); @Override boolean equals(final Object obj); @Override int hashCode(); }
ExplPrec implements Prec { @Override public boolean equals(final Object obj) { if (this == obj) { return true; } else if (obj instanceof ExplPrec) { final ExplPrec that = (ExplPrec) obj; return this.getVars().equals(that.getVars()); } else { return false; } } private  ExplPrec(final Iterable<? extends VarDecl<?>> vars); static ExplPrec empty(); static ExplPrec of(final Iterable<? extends VarDecl<?>> vars); Set<VarDecl<?>> getVars(); ExplPrec join(final ExplPrec other); ExplState createState(final Valuation valuation); @Override String toString(); @Override boolean equals(final Object obj); @Override int hashCode();  }