public class HittingSetTree<E> extends Object implements org.semanticweb.owl.explanation.telemetry.TelemetryObject
| Constructor and Description |
|---|
HittingSetTree(HittingSetTreeConstructionStrategy<E> strategy,
ExplanationProgressMonitor<E> progressMonitor) |
| Modifier and Type | Method and Description |
|---|---|
void |
addClosedPath(Set<org.semanticweb.owlapi.model.OWLAxiom> pathContents) |
void |
addExplanation(Explanation<E> explanation) |
boolean |
addExploredPath(Set<org.semanticweb.owlapi.model.OWLAxiom> currentPath) |
void |
buildHittingSetTree(E entailment,
int limit,
ExplanationGeneratorMediator<E> generatorMediator) |
boolean |
containsClosedPath(Set<org.semanticweb.owlapi.model.OWLAxiom> path) |
Set<Explanation<E>> |
getExplanations() |
Set<Set<org.semanticweb.owlapi.model.OWLAxiom>> |
getExploredPaths() |
String |
getPreferredSerialisedName() |
ExplanationProgressMonitor<E> |
getProgressMonitor() |
HittingSetTreeNode<E> |
getRoot() |
List<Explanation<E>> |
getSortedExplanations() |
void |
incrementNumberOfNodesWithCallsToFindOne()
The number of calls to find one.
|
void |
incrementNumberOfNodesWithReusedJustifications() |
boolean |
isSerialisedAsXML() |
void |
removeCurrentPath(Set<org.semanticweb.owlapi.model.OWLAxiom> currentPath) |
void |
serialise(OutputStream outputStream) |
public HittingSetTree(HittingSetTreeConstructionStrategy<E> strategy, ExplanationProgressMonitor<E> progressMonitor)
public void incrementNumberOfNodesWithCallsToFindOne()
public void incrementNumberOfNodesWithReusedJustifications()
public void buildHittingSetTree(E entailment, int limit, ExplanationGeneratorMediator<E> generatorMediator)
public ExplanationProgressMonitor<E> getProgressMonitor()
public void addExplanation(Explanation<E> explanation)
public List<Explanation<E>> getSortedExplanations()
public Set<Explanation<E>> getExplanations()
public HittingSetTreeNode<E> getRoot()
public boolean containsClosedPath(Set<org.semanticweb.owlapi.model.OWLAxiom> path)
public boolean addExploredPath(Set<org.semanticweb.owlapi.model.OWLAxiom> currentPath)
public void removeCurrentPath(Set<org.semanticweb.owlapi.model.OWLAxiom> currentPath)
public void addClosedPath(Set<org.semanticweb.owlapi.model.OWLAxiom> pathContents)
public String getPreferredSerialisedName()
getPreferredSerialisedName in interface org.semanticweb.owl.explanation.telemetry.TelemetryObjectpublic boolean isSerialisedAsXML()
isSerialisedAsXML in interface org.semanticweb.owl.explanation.telemetry.TelemetryObjectpublic void serialise(OutputStream outputStream)
serialise in interface org.semanticweb.owl.explanation.telemetry.TelemetryObjectCopyright © 2014. All rights reserved.