| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.split |
| Modifier and Type | Class and Description |
|---|---|
class |
ExtendedSyntacticLocalityChecker
syntactic locality checker for DL axioms
|
class |
GeneralSyntacticLocalityChecker
syntactic locality checker for DL axioms
|
class |
SemanticLocalityChecker
semantic locality checker for DL axioms
|
class |
SyntacticLocalityChecker
syntactic locality checker for DL axioms
|
| Modifier and Type | Method and Description |
|---|---|
LocalityChecker |
TModularizer.getLocalityChecker() |
| Constructor and Description |
|---|
SigIndex(LocalityChecker c)
empty c'tor
|
TModularizer(JFactReasonerConfiguration config,
LocalityChecker c)
init c'tor
|
Copyright © 2015 The University of Manchester. All rights reserved.