uk.ac.manchester.cs.jfact.split

Interfaces

• LocalityChecker

Classes

• AOStructure
• AtomicDecomposer
• BotEquivalenceEvaluator
• ExpressionFromAxiomBuilder
• ExtendedSyntacticLocalityChecker
• GeneralSyntacticLocalityChecker
• KnowledgeExplorer
• OntologyBasedModularizer
• SemanticLocalityChecker
• SigAccessor
• SigIndex
• SplitVarEntry
• SyntacticLocalityChecker
• TModularizer
• TOntologyAtom
• TopEquivalenceEvaluator
• TSignature
• TSignatureUpdater

Enums

• ModuleType