Hierarchy For Package daikon.inv.unary.scalar

Package Hierarchies:

• All Packages

Class Hierarchy

• Object
  • CompleteOneOfScalar.Info (implements Serializable)
  • Invariant (implements Cloneable, Serializable)
    • UnaryInvariant
      • SingleFloat
        • LowerBoundFloat
        • NonZeroFloat
        • OneOfFloat (implements OneOf)
        • RangeFloat
          • RangeFloat.EqualMinusOne
          • RangeFloat.EqualOne
          • RangeFloat.EqualZero
          • RangeFloat.GreaterEqual64
          • RangeFloat.GreaterEqualZero
        • UpperBoundFloat
      • SingleScalar
        • CompleteOneOfScalar
        • IsPointer
        • LowerBound
        • Modulus
        • NonModulus
        • NonZero
        • OneOfScalar (implements OneOf)
        • Positive
        • RangeInt
          • RangeInt.BooleanVal
          • RangeInt.Bound0_63
          • RangeInt.EqualMinusOne
          • RangeInt.EqualOne
          • RangeInt.EqualZero
          • RangeInt.Even
          • RangeInt.GreaterEqual64
          • RangeInt.GreaterEqualZero
          • RangeInt.PowerOfTwo
        • UpperBound