Array properties invariants

This section enumerates all the invariants of the Array properties 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.sequence.EltwiseIntEqual
2. daikon.inv.unary.sequence.EltwiseIntLessEqual
3. daikon.inv.unary.sequence.EltwiseIntGreaterEqual
4. daikon.inv.unary.sequence.EltwiseIntLessThan
5. daikon.inv.unary.sequence.EltwiseIntGreaterThan
6. daikon.inv.unary.sequence.EltwiseFloatEqual
7. daikon.inv.unary.sequence.EltwiseFloatLessEqual
8. daikon.inv.unary.sequence.EltwiseFloatGreaterEqual
9. daikon.inv.unary.sequence.EltwiseFloatLessThan
10. daikon.inv.unary.sequence.EltwiseFloatGreaterThan
11. daikon.inv.binary.twoSequence.Reverse
12. daikon.inv.binary.twoSequence.ReverseFloat
13. daikon.inv.binary.twoSequence.SubSet
14. daikon.inv.binary.twoSequence.SuperSet
15. daikon.inv.binary.twoSequence.SubSetFloat
16. daikon.inv.binary.twoSequence.SuperSetFloat
17. daikon.inv.binary.twoSequence.SubSequence
18. daikon.inv.binary.twoSequence.SubSequenceFloat
19. daikon.inv.binary.twoSequence.SuperSequence
20. daikon.inv.binary.twoSequence.SuperSequenceFloat
21. daikon.inv.binary.sequenceScalar.Member
22. daikon.inv.binary.sequenceScalar.MemberFloat
23. daikon.inv.binary.sequenceString.MemberString