Hierarchy For Package jtp.proof.transform

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class jtp.proof.transform.IdenticalSubgoalTransformer (implements jtp.proof.transform.ProofTransformer)
  • class jtp.proof.transform.IdenticalSubproofTrimmer (implements jtp.proof.transform.ProofTransformer)
  • class jtp.proof.transform.ProofTransformingEngine (implements jtp.proof.transform.ProofTransformer)
  • class jtp.proof.transform.ProofTransformingReasonerProxy (implements jtp.Reasoner)
  • class jtp.proof.transform.SecondaryStorageLookupTransformer (implements jtp.proof.transform.ProofTransformer)
  • class jtp.proof.transform.StubTransformer (implements jtp.proof.transform.ProofTransformer)
  • class jtp.proof.transform.UnrolledRulesTransformer (implements jtp.proof.transform.ProofTransformer)

Interface Hierarchy

• interface jtp.proof.transform.ProofTransformer