uk.ac.manchester.cs.jfact.split

Class SyntacticLocalityChecker

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.SyntacticLocalityChecker

All Implemented Interfaces:

Serializable, LocalityChecker, DLAxiomVisitor, DLExpressionVisitor

@PortedFrom(file="SyntacticLocalityChecker.h",
            name="SyntacticLocalityChecker")
public class SyntacticLocalityChecker
extends GeneralSyntacticLocalityChecker

syntactic locality checker for DL axioms

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SyntacticLocalityChecker()

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

SyntacticLocalityChecker

public SyntacticLocalityChecker()