Package daikon.inv
Interface EqualityComparison
-
- All Known Implementing Classes:
FloatEqual
,IntEqual
,SeqSeqFloatEqual
,SeqSeqIntEqual
,SeqSeqStringEqual
,StringEqual
public interface EqualityComparison
An interface satisfied by equality invariants such as=
.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description double
eq_confidence()
The confidence of this equality invariant.VarInfo
var1()
VarInfo
var2()
-
-
-
Method Detail
-
eq_confidence
double eq_confidence()
The confidence of this equality invariant.
-
-