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
ModuleExtractor s. |
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.