Hierarchy For Package jtp.modelim

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class jtp.modelim.AncestorCycleCutReasoner (implements jtp.Reasoner)
  • class java.beans.beancontext.BeanContextChildSupport (implements java.beans.beancontext.BeanContextChild, java.beans.beancontext.BeanContextServicesListener, java.io.Serializable)
    • class jtp.util.PropertyImporter
      • class jtp.modelim.AskingQueryProcessor (implements jtp.fol.parser.FirstOrderLogicTranslator, jtp.Reasoner)
      • class jtp.modelim.BreadthFirstForwardReasoner (implements jtp.Reasoner)
      • class jtp.modelim.ModelEliminationReasoner (implements jtp.Reasoner)
  • class jtp.modelim.LinearReductionReasoner (implements jtp.Reasoner)
  • class jtp.modelim.ModelEliminationReasoner.ProofCollector (implements jtp.ReasoningStepIterator)
  • class jtp.proof.Proof (implements java.io.Serializable)
    • class jtp.ReasoningStep (implements java.lang.Cloneable, jtp.fol.Unifyable)
      • class jtp.modelim.AskingQueryProcessor.ReformulationProofStep