Hierarchy For Package dev.civl.sarl.IF

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • dev.civl.sarl.IF.CoreUniverse.ForallStructure
  • dev.civl.sarl.IF.SARLConstants
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • dev.civl.sarl.IF.SARLException
          • dev.civl.sarl.IF.SARLBoundException
          • dev.civl.sarl.IF.SARLInternalException
          • dev.civl.sarl.IF.TheoremProverException

Interface Hierarchy

• dev.civl.sarl.IF.CoreUniverse
  • dev.civl.sarl.IF.SymbolicUniverse
• dev.civl.sarl.IF.Predicate<T>
• dev.civl.sarl.IF.Reasoner
• dev.civl.sarl.IF.Transform<S,T>
  • dev.civl.sarl.IF.UnaryOperator<T>
    • dev.civl.sarl.IF.CanonicalRenamer
• dev.civl.sarl.IF.ValidityResult
  • dev.civl.sarl.IF.ModelResult

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • dev.civl.sarl.IF.ValidityResult.ResultType