001package daikon.inv;
002
003import daikon.VarInfo;
004
005/** An interface satisfied by equality invariants such as {@code =}. */
006public interface EqualityComparison {
007  /** The confidence of this equality invariant. */
008  public double eq_confidence();
009
010  public VarInfo var1();
011
012  public VarInfo var2();
013}