org.coode.patterns.locality

Class LocalityCheckerLeafBrusher

java.lang.Object

org.coode.patterns.locality.LocalityCheckerLeafBrusher

All Implemented Interfaces:

BindingVisitor

public class LocalityCheckerLeafBrusher
extends Object
implements BindingVisitor

Author:

Luigi Iannone

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
ConstraintSystem	getConstraintSystem()
List<BindingNode>	getExploredBindings()
List<Boolean>	getExploredBindingsLocality()
RuntimeExceptionHandler	getHandler()
List<org.semanticweb.owlapi.model.OWLAxiom>	getNonLocalAxioms()
Set<org.semanticweb.owlapi.model.OWLEntity>	getSignature()
boolean	isLocal()
void	setSignature(Collection<? extends org.semanticweb.owlapi.model.OWLEntity> signature)
void	visit(BindingNode bindingNode)

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalityCheckerLeafBrusher

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

Parameters:

evaluator - evaluator

constraintSystem - constraintSystem

patternModel - patternModel

variableBindings - variableBindings

signature - signature

runtimeExceptionHandler - runtimeExceptionHandler

Method Detail

getExploredBindings

public List<BindingNode> getExploredBindings()

Returns:

explored bindings

getExploredBindingsLocality

public List<Boolean> getExploredBindingsLocality()

Returns:

locality explored bindings

visit

public void visit(BindingNode bindingNode)

Specified by:

visit in interface BindingVisitor

isLocal

public boolean isLocal()

Returns:

the leaves

getNonLocalAxioms

public List<org.semanticweb.owlapi.model.OWLAxiom> getNonLocalAxioms()

Returns:

non local axioms

getSignature

public Set<org.semanticweb.owlapi.model.OWLEntity> getSignature()

Returns:

the signature

setSignature

public void setSignature(Collection<? extends org.semanticweb.owlapi.model.OWLEntity> signature)

Parameters:

signature - the signature to set

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

getHandler

public RuntimeExceptionHandler getHandler()

Returns:

the handler