Uses of Interface
org.coode.patterns.locality.LocalityEvaluator

Packages that use LocalityEvaluator

Package	Description
org.coode.patterns.locality

Uses of LocalityEvaluator in org.coode.patterns.locality

Classes in org.coode.patterns.locality that implement LocalityEvaluator

Modifier and Type	Class and Description
class	SemanticLocalityEvaluator Copyright: Copyright (c) 2007 Company: Clark & Parsia, LLC.

Methods in org.coode.patterns.locality that return LocalityEvaluator

Modifier and Type	Method and Description
LocalityEvaluator	LocalityChecker.getEvaluator()

Methods in org.coode.patterns.locality with parameters of type LocalityEvaluator

Modifier and Type	Method and Description
void	LocalityChecker.setEvaluator(LocalityEvaluator evaluator)

Constructors in org.coode.patterns.locality with parameters of type LocalityEvaluator

Constructor and Description
LocalityCheckerLeafBrusher(LocalityEvaluator evaluator, ConstraintSystem constraintSystem, PatternModel patternModel, Map<Variable<?>,SigmaPlusSigmaMinus> variableBindings, Set<org.semanticweb.owlapi.model.OWLEntity> signature, RuntimeExceptionHandler runtimeExceptionHandler)