Hierarchy For Package jtp.rs

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class jtp.rs.ArrayReasoningStepIterator (implements jtp.ReasoningStepIterator)
  • class jtp.rs.DefaultReasoningStepCollector (implements jtp.rs.ReasoningStepCollector, jtp.ReasoningStepIterator)
  • class jtp.rs.DefaultTranslationReasoner (implements jtp.Reasoner)
  • class jtp.rs.IteratorBasedReasoningStepIterator (implements jtp.ReasoningStepIterator)
  • class jtp.rs.LinearizedProof
  • class jtp.proof.Proof (implements java.io.Serializable)
    • class jtp.ReasoningStep (implements java.lang.Cloneable, jtp.fol.Unifyable)
      • class jtp.Cut
        • class jtp.rs.DefaultCut
      • class jtp.rs.ReasoningStepStub
        • class jtp.rs.StoredReasoningStep
      • class jtp.rs.TranslationReasoningStep
  • class jtp.rs.RSUtils
  • class jtp.rs.SecondaryProofStorageLookup
  • class jtp.rs.SecondaryProofStorageWriter (implements java.io.Serializable)
  • class jtp.rs.TranslatingProxyReasoner (implements jtp.Reasoner)

Interface Hierarchy

• interface jtp.rs.ReasoningStepCollector