Hierarchy For All Packages

Package Hierarchies:

• example,
• liquidjava,
• liquidjava.infer,
• liquidjava.specification,
• liquidjava.utils

Class Hierarchy

• java.lang.Object
  • liquidjava.infer.InducedRefinementsParser
  • liquidjava.Main
  • example.NumericExample
  • liquidjava.utils.Prettify
  • liquidjava.utils.Processor
  • example.ToSimple
    • example.Simple

Annotation Interface Hierarchy

• liquidjava.specification.ExternalRefinementsFor (implements java.lang.annotation.Annotation)
• liquidjava.specification.Ghost (implements java.lang.annotation.Annotation)
• liquidjava.specification.GhostMultiple (implements java.lang.annotation.Annotation)
• liquidjava.specification.Refinement (implements java.lang.annotation.Annotation)
• liquidjava.specification.RefinementAlias (implements java.lang.annotation.Annotation)
• liquidjava.specification.RefinementAliasMultiple (implements java.lang.annotation.Annotation)
• liquidjava.specification.RefinementPredicate (implements java.lang.annotation.Annotation)
• liquidjava.specification.RefinementPredicateMultiple (implements java.lang.annotation.Annotation)
• liquidjava.specification.StateRefinement (implements java.lang.annotation.Annotation)
• liquidjava.specification.StateRefinementMultiple (implements java.lang.annotation.Annotation)
• liquidjava.specification.StateSet (implements java.lang.annotation.Annotation)
• liquidjava.specification.StateSets (implements java.lang.annotation.Annotation)