uk.ac.manchester.cs.jfact.split

Interface LocalityChecker

All Known Implementing Classes:

ExtendedSyntacticLocalityChecker, GeneralSyntacticLocalityChecker, SemanticLocalityChecker, SyntacticLocalityChecker

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

locality checker

Method Summary

Methods

Modifier and Type	Method and Description
TSignature	getSignature()
boolean	local(AxiomInterface axiom)
void	preprocessOntology(Collection<AxiomInterface> 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(AxiomInterface axiom)

Parameters:

axiom - axiom

Returns:

true if local

preprocessOntology

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

allow the checker to preprocess an ontology if necessary

Parameters:

vec - vec

setSignatureValue

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

Parameters:

sig - sig

getSignature

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

Returns:

signature