Arithmetic comparisons invariants

This section enumerates all the invariants of the Arithmetic comparisons category. Please refer to Section 5.5 Invariant list of the Daikon user manual for a description of each one of these invariants.

1. daikon.inv.unary.scalar.LowerBound
2. daikon.inv.unary.scalar.LowerBoundFloat
3. daikon.inv.unary.scalar.UpperBound
4. daikon.inv.unary.scalar.UpperBoundFloat
5. daikon.inv.unary.sequence.EltLowerBound
6. daikon.inv.unary.sequence.EltUpperBound
7. daikon.inv.unary.sequence.EltLowerBoundFloat
8. daikon.inv.unary.sequence.EltUpperBoundFloat
9. daikon.inv.binary.twoScalar.IntEqual
10. daikon.inv.binary.twoScalar.IntLessThan
11. daikon.inv.binary.twoScalar.IntGreaterThan
12. daikon.inv.binary.twoScalar.IntLessEqual
13. daikon.inv.binary.twoScalar.IntGreaterEqual
14. daikon.inv.binary.twoScalar.FloatEqual
15. daikon.inv.binary.twoScalar.FloatLessThan
16. daikon.inv.binary.twoScalar.FloatGreaterThan
17. daikon.inv.binary.twoScalar.FloatLessEqual
18. daikon.inv.binary.twoScalar.FloatGreaterEqual
19. daikon.inv.binary.twoSequence.SeqSeqIntEqual
20. daikon.inv.binary.twoSequence.SeqSeqIntLessThan
21. daikon.inv.binary.twoSequence.SeqSeqIntGreaterThan
22. daikon.inv.binary.twoSequence.SeqSeqIntLessEqual
23. daikon.inv.binary.twoSequence.SeqSeqIntGreaterEqual
24. daikon.inv.binary.twoSequence.SeqSeqFloatEqual
25. daikon.inv.binary.twoSequence.SeqSeqFloatLessThan
26. daikon.inv.binary.twoSequence.SeqSeqFloatGreaterThan
27. daikon.inv.binary.twoSequence.SeqSeqFloatLessEqual
28. daikon.inv.binary.twoSequence.SeqSeqFloatGreaterEqual
29. daikon.inv.binary.twoSequence.PairwiseIntEqual
30. daikon.inv.binary.twoSequence.PairwiseIntLessThan
31. daikon.inv.binary.twoSequence.PairwiseIntGreaterThan
32. daikon.inv.binary.twoSequence.PairwiseIntLessEqual
33. daikon.inv.binary.twoSequence.PairwiseIntGreaterEqual
34. daikon.inv.binary.twoSequence.PairwiseFloatEqual
35. daikon.inv.binary.twoSequence.PairwiseFloatLessThan
36. daikon.inv.binary.twoSequence.PairwiseFloatGreaterThan
37. daikon.inv.binary.twoSequence.PairwiseFloatLessEqual
38. daikon.inv.binary.twoSequence.PairwiseFloatGreaterEqual
39. daikon.inv.binary.sequenceScalar.SeqIntEqual
40. daikon.inv.binary.sequenceScalar.SeqIntLessThan
41. daikon.inv.binary.sequenceScalar.SeqIntGreaterThan
42. daikon.inv.binary.sequenceScalar.SeqIntLessEqual
43. daikon.inv.binary.sequenceScalar.SeqIntGreaterEqual
44. daikon.inv.binary.sequenceScalar.SeqFloatEqual
45. daikon.inv.binary.sequenceScalar.SeqFloatLessThan
46. daikon.inv.binary.sequenceScalar.SeqFloatGreaterThan
47. daikon.inv.binary.sequenceScalar.SeqFloatLessEqual
48. daikon.inv.binary.sequenceScalar.SeqFloatGreaterEqual