Uses of Class
org.coode.patterns.locality.SigmaPlusSigmaMinus

Packages that use SigmaPlusSigmaMinus

Package	Description
org.coode.patterns.locality

Uses of SigmaPlusSigmaMinus in org.coode.patterns.locality

Methods in org.coode.patterns.locality that return types with arguments of type SigmaPlusSigmaMinus

Modifier and Type	Method and Description
Map<Variable<?>,SigmaPlusSigmaMinus>	LocalityChecker.buildMinimalBindingNodes()
Map<Variable<?>,SigmaPlusSigmaMinus>	LocalityChecker.getSigmaValues()

Constructor parameters in org.coode.patterns.locality with type arguments of type SigmaPlusSigmaMinus

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