| Interface | Description |
|---|---|
| LocalityEvaluator |
Interface for classes that test whether an axiom is local with respect to a signature.
|
| Class | Description |
|---|---|
| LocalityModuleExtractor |
Abstract class for convenience implementation of locality-based
ModuleExtractors. |
| SemanticLocalityEvaluator |
Thread safe class for checking semantic locality.
|
| SemanticLocalityModuleExtractor |
Class to extract modules based on semantic locality.
|
| SyntacticLocalityModuleExtractor |
Class to extract modules based on syntactic locality.
|
| Enum | Description |
|---|---|
| LocalityClass |
Types of locality classes that can be used.
|
| SyntacticLocalityEvaluator |
Thread safe class for checking syntactic locality.
|
Copyright © 2020 The University of Manchester. All rights reserved.