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
  • uk.ac.manchester.cs.jfact.split.AtomicDecomposer
  • uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor)
    • uk.ac.manchester.cs.jfact.split.SigAccessor
      • uk.ac.manchester.cs.jfact.split.BotEquivalenceEvaluator (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor)
      • uk.ac.manchester.cs.jfact.split.SyntacticLocalityChecker (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, uk.ac.manchester.cs.jfact.split.LocalityChecker)
      • uk.ac.manchester.cs.jfact.split.TopEquivalenceEvaluator (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor)
  • uk.ac.manchester.cs.jfact.split.KnowledgeExplorer
  • uk.ac.manchester.cs.jfact.split.SemanticLocalityChecker (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, uk.ac.manchester.cs.jfact.split.LocalityChecker)
  • uk.ac.manchester.cs.jfact.split.SigIndex
  • uk.ac.manchester.cs.jfact.split.TAxiomSplitter
  • uk.ac.manchester.cs.jfact.split.TAxiomSplitter.TRecord
  • uk.ac.manchester.cs.jfact.split.TModularizer
  • uk.ac.manchester.cs.jfact.split.TOntologyAtom
  • uk.ac.manchester.cs.jfact.split.TSignature
  • uk.ac.manchester.cs.jfact.split.TSignatureUpdater (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor)
  • uk.ac.manchester.cs.jfact.split.TSplitRules
  • uk.ac.manchester.cs.jfact.split.TSplitRules.TSplitRule
  • uk.ac.manchester.cs.jfact.split.TSplitVar
  • uk.ac.manchester.cs.jfact.split.TSplitVar.Entry
  • uk.ac.manchester.cs.jfact.split.TSplitVars

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