uk.ac.manchester.cs.jfact.split

Class ExtendedSyntacticLocalityChecker

java.lang.Object

uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter

uk.ac.manchester.cs.jfact.split.SigAccessor

uk.ac.manchester.cs.jfact.split.GeneralSyntacticLocalityChecker

uk.ac.manchester.cs.jfact.split.ExtendedSyntacticLocalityChecker

All Implemented Interfaces:

Serializable, LocalityChecker, DLAxiomVisitor, DLExpressionVisitor

public class ExtendedSyntacticLocalityChecker
extends GeneralSyntacticLocalityChecker

syntactic locality checker for DL axioms

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExtendedSyntacticLocalityChecker(TSignature s) init c'tor

Method Summary

Methods inherited from class uk.ac.manchester.cs.jfact.split.GeneralSyntacticLocalityChecker

getSignature, local, preprocessOntology, setSignatureValue, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class uk.ac.manchester.cs.jfact.split.SigAccessor

isTopOrBuiltInDataType, setSignature, topCLocal, topRLocal

Methods inherited from class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtendedSyntacticLocalityChecker

public ExtendedSyntacticLocalityChecker(TSignature s)

init c'tor

Parameters:

s - s