Hierarchy For Package jtp.proof

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class jtp.proof.Implication
  • class jtp.proof.Inference (implements java.io.Serializable)
    • class jtp.proof.AndIntroductionInference
    • class jtp.proof.AxiomInference
    • class jtp.proof.ModusPonensInference
    • class jtp.proof.UIInference
  • class jtp.proof.Proof (implements java.io.Serializable)
  • class jtp.proof.ProofUtil
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Exception
      • class jtp.proof.ImplicationConversionException
      • class jtp.proof.ProofExtractionException