daikon.inv
Interface Comparison

All Known Implementing Classes:

FloatEqual, IntEqual, SeqSeqFloatEqual, SeqSeqFloatGreaterEqual, SeqSeqFloatGreaterThan, SeqSeqFloatLessEqual, SeqSeqFloatLessThan, SeqSeqIntEqual, SeqSeqIntGreaterEqual, SeqSeqIntGreaterThan, SeqSeqIntLessEqual, SeqSeqIntLessThan, SeqSeqStringEqual, SeqSeqStringGreaterEqual, SeqSeqStringGreaterThan, SeqSeqStringLessEqual, SeqSeqStringLessThan

public interface Comparison

Method Summary

double	eq_confidence() If the invariant is a equality invariant, then its confidence.
VarInfo	var1()
VarInfo	var2()

Method Detail

eq_confidence

double eq_confidence()

If the invariant is a equality invariant, then its confidence. Otherwise, Invariant.CONFIDENCE_NEVER.

var1

VarInfo var1()

var2

VarInfo var2()