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}