uk.ac.manchester.cs.jfact.split

Interface LocalityChecker

All Known Implementing Classes:

SemanticLocalityChecker, SyntacticLocalityChecker

@PortedFrom(file="LocalityChecker.h",
            name="LocalityChecker")
public interface LocalityChecker

Method Summary

Methods

Modifier and Type	Method and Description
TSignature	getSignature()
boolean	local(Axiom axiom)
void	preprocessOntology(Collection<Axiom> vec) allow the checker to preprocess an ontology if necessary
void	setSignatureValue(TSignature sig)

Method Detail

local

@PortedFrom(file="LocalityChecker.h",
            name="local")
boolean local(Axiom axiom)

preprocessOntology

@PortedFrom(file="LocalityChecker.h",
            name="preprocessOntology")
void preprocessOntology(Collection<Axiom> vec)

allow the checker to preprocess an ontology if necessary

setSignatureValue

@PortedFrom(file="LocalityChecker.h",
            name="setSignatureValue")
void setSignatureValue(TSignature sig)

getSignature

@PortedFrom(file="LocalityChecker.h",
            name="getSignature")
TSignature getSignature()