Hierarchy For Package uk.ac.manchester.cs.jfact.split

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • uk.ac.manchester.cs.jfact.split.AOStructure (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.AtomicDecomposer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorExAdapter<A> (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx<O>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.split.ExpressionFromAxiomBuilder
  • uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.split.SigAccessor
      • uk.ac.manchester.cs.jfact.split.BotEquivalenceEvaluator (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor, java.io.Serializable)
      • uk.ac.manchester.cs.jfact.split.GeneralSyntacticLocalityChecker (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, uk.ac.manchester.cs.jfact.split.LocalityChecker)
        • uk.ac.manchester.cs.jfact.split.ExtendedSyntacticLocalityChecker
        • uk.ac.manchester.cs.jfact.split.SyntacticLocalityChecker
      • uk.ac.manchester.cs.jfact.split.TopEquivalenceEvaluator (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor)
  • uk.ac.manchester.cs.jfact.split.KnowledgeExplorer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.OntologyBasedModularizer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.SemanticLocalityChecker (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, uk.ac.manchester.cs.jfact.split.LocalityChecker, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.SigIndex (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.SplitVarEntry (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.TModularizer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.TOntologyAtom (implements java.lang.Comparable<T>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.TSignature (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.TSignatureUpdater (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, java.io.Serializable)

Interface Hierarchy

• uk.ac.manchester.cs.jfact.split.LocalityChecker

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.split.ModuleType