| Package | Description |
|---|---|
| org.semanticweb.owl.explanation.impl.blackbox.hst |
| Modifier and Type | Method and Description |
|---|---|
void |
DepthFirstStrategy.buildHittingSetTree(HittingSetTree<E> hittingSetTree,
int limit,
ExplanationGeneratorMediator<E> handler,
HittingSetTreeNode<E> currentNode) |
boolean |
BreadthFirstStrategy.buildHittingSetTree(HittingSetTree<E> hittingSetTree,
int limit,
ExplanationGeneratorMediator<E> handler,
List<HittingSetTreeNode<E>> queue) |
void |
HittingSetTreeConstructionStrategy.constructTree(HittingSetTree<E> hittingSetTree,
int explanationLimit,
ExplanationGeneratorMediator<E> generator) |
void |
DepthFirstStrategy.constructTree(HittingSetTree<E> hittingSetTree,
int limit,
ExplanationGeneratorMediator<E> handler) |
void |
BreadthFirstStrategy.constructTree(HittingSetTree<E> hittingSetTree,
int limit,
ExplanationGeneratorMediator<E> handler) |
void |
DepthFirstStrategy.finish(HittingSetTree<E> hittingSetTree) |
void |
BreadthFirstStrategy.finish(HittingSetTree<E> hittingSetTree) |
void |
DepthFirstStrategy.start(HittingSetTree<E> hittingSetTree) |
void |
BreadthFirstStrategy.start(HittingSetTree<E> hittingSetTree) |
| Constructor and Description |
|---|
ExplanationComparator(HittingSetTree<E> hittingSetTree) |
HittingSetTreeNode(HittingSetTree<E> tree,
Explanation<E> explanation) |
HittingSetTreeNode(HittingSetTree<E> tree,
org.semanticweb.owlapi.model.OWLAxiom parentEdgeLabel,
HittingSetTreeNode<E> parentNode,
boolean reuse) |
HittingSetTreeNode(HittingSetTree<E> tree,
org.semanticweb.owlapi.model.OWLAxiom parentEdgeLabel,
HittingSetTreeNode<E> parentNode,
Explanation<E> explanation,
boolean reuse) |
NodeAxiomsComparator(HittingSetTree<E> hittingSetTree) |
Copyright © 2014. All rights reserved.