Hierarchy For Package org.coode.oppl.search.solvability

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.coode.oppl.search.solvability.AbstractAxiomSolvability (implements org.coode.oppl.search.solvability.AxiomSolvability)
    • org.coode.oppl.search.solvability.QuerySolverBasedAbstractAxiomSolvability
      • org.coode.oppl.search.solvability.NoResultsAxiomSolvability (implements org.coode.oppl.search.solvability.AxiomSolvability)
      • org.coode.oppl.search.solvability.OWLClassSubClassOfAxiomSolvability
      • org.coode.oppl.search.solvability.OWLObjectPropertyFillersAxiomSolvability
  • org.coode.oppl.search.solvability.AssertedModelQuerySolver (implements org.coode.oppl.search.solvability.QuerySolver)
  • org.coode.oppl.search.solvability.InferredModelQuerySolver (implements org.coode.oppl.search.solvability.QuerySolver)
  • org.coode.oppl.search.solvability.MultipleAxiomSolvability (implements org.coode.oppl.search.solvability.AxiomSolvability)
  • org.coode.oppl.search.OPPLOWLAxiomSearchNode
    • org.coode.oppl.search.solvability.SolvabilitySearchNode
      • org.coode.oppl.search.solvability.NoSolutionSolvableSearchNode
      • org.coode.oppl.search.solvability.SolvableSearchNode
      • org.coode.oppl.search.solvability.SolvedSearchNode
      • org.coode.oppl.search.solvability.UnsolvableSearchNode
  • org.coode.oppl.search.SearchTree<N>
    • org.coode.oppl.search.solvability.AbstractSolvabilityOPPLOWLAxiomSearchTree
      • org.coode.oppl.search.solvability.AssertedSolvabilitySearchTree
      • org.coode.oppl.search.solvability.InferredSolvabilitySearchTree

Interface Hierarchy

• org.coode.oppl.search.solvability.AxiomSolvability
• org.coode.oppl.search.solvability.QuerySolver
• org.coode.oppl.search.solvability.SolvabilitySearchNodeVisitor
• org.coode.oppl.search.solvability.SolvabilitySearchNodeVisitorEx<O>