Hierarchy For Package org.qedeq.kernel.bo.logic

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class org.qedeq.kernel.bo.logic.EqualFormula
  • class org.qedeq.kernel.bo.logic.EqualFormulaSet
  • class org.qedeq.kernel.bo.logic.EverythingExists (implements org.qedeq.kernel.bo.logic.ExistenceChecker)
  • class org.qedeq.kernel.bo.logic.FormulaChecker (implements org.qedeq.kernel.bo.logic.FormulaBasicErrors, org.qedeq.kernel.bo.logic.Operators)
  • class org.qedeq.kernel.bo.logic.LogicalEquivalence
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Exception
      • class org.qedeq.kernel.base.common.QedeqException
        • class org.qedeq.kernel.bo.module.ModuleDataException
          • class org.qedeq.kernel.bo.logic.CheckException
            • class org.qedeq.kernel.bo.logic.ElementCheckException
            • class org.qedeq.kernel.bo.logic.FormulaCheckException
            • class org.qedeq.kernel.bo.logic.TermCheckException

Interface Hierarchy

• interface org.qedeq.kernel.bo.logic.ClassOperatorExistenceChecker
  • interface org.qedeq.kernel.bo.logic.ExistenceChecker (also extends org.qedeq.kernel.bo.logic.EqualityOperatorExistenceChecker, org.qedeq.kernel.bo.logic.FunctionExistenceChecker, org.qedeq.kernel.bo.logic.PredicateExistenceChecker)
• interface org.qedeq.kernel.bo.logic.EqualityOperatorExistenceChecker
  • interface org.qedeq.kernel.bo.logic.ExistenceChecker (also extends org.qedeq.kernel.bo.logic.ClassOperatorExistenceChecker, org.qedeq.kernel.bo.logic.FunctionExistenceChecker, org.qedeq.kernel.bo.logic.PredicateExistenceChecker)
• interface org.qedeq.kernel.bo.logic.FormulaBasicErrors
• interface org.qedeq.kernel.bo.logic.FunctionExistenceChecker
  • interface org.qedeq.kernel.bo.logic.ExistenceChecker (also extends org.qedeq.kernel.bo.logic.ClassOperatorExistenceChecker, org.qedeq.kernel.bo.logic.EqualityOperatorExistenceChecker, org.qedeq.kernel.bo.logic.PredicateExistenceChecker)
• interface org.qedeq.kernel.bo.logic.Operators
• interface org.qedeq.kernel.bo.logic.PredicateExistenceChecker
  • interface org.qedeq.kernel.bo.logic.ExistenceChecker (also extends org.qedeq.kernel.bo.logic.ClassOperatorExistenceChecker, org.qedeq.kernel.bo.logic.EqualityOperatorExistenceChecker, org.qedeq.kernel.bo.logic.FunctionExistenceChecker)