Hierarchy For Package daikon.inv

Package Hierarchies:

• All Packages

Class Hierarchy

• Object
  • DiscardCode (implements Comparable<T>, Serializable)
  • DiscardInfo
  • Invariant (implements Cloneable, Serializable)
    • DummyInvariant
    • Equality
    • Joiner
      • AndJoiner
      • Implication
        • GuardingImplication
  • Invariant.ClassVarnameComparator (implements Comparator<T>)
  • Invariant.ClassVarnameFormulaComparator (implements Comparator<T>)
  • Invariant.InvariantComparatorForPrinting (implements Comparator<T>)
  • Invariant.Match
  • InvariantInfo
  • InvDef
  • LimitedSizeLongSet (implements Cloneable, Serializable)
    • ValueSet (implements Cloneable, Serializable)
      • ValueSet.ValueSetFloat
      • ValueSet.ValueSetFloatArray
      • ValueSet.ValueSetScalar
      • ValueSet.ValueSetScalarArray
      • ValueSet.ValueSetString
      • ValueSet.ValueSetStringArray

Interface Hierarchy

• EqualityComparison

Enum Hierarchy

• Object
  • Enum<E> (implements Comparable<T>, Serializable)
    • InvariantStatus
    • OutputFormat