public abstract class AbstractDefinitionOrder extends Object implements DefinitionOrder
| Modifier and Type | Field and Description |
|---|---|
protected Comparator<aterm.ATerm> |
comparator |
protected KnowledgeBase |
kb |
| Constructor and Description |
|---|
AbstractDefinitionOrder(KnowledgeBase kb,
Comparator<aterm.ATerm> comparator) |
| Modifier and Type | Method and Description |
|---|---|
protected abstract void |
addUses(aterm.ATermAppl c,
aterm.ATermAppl usedByC) |
protected abstract Set<aterm.ATermAppl> |
computeCycles() |
protected abstract List<aterm.ATermAppl> |
computeDefinitionOrder() |
protected abstract void |
initialize() |
boolean |
isCyclic(aterm.ATermAppl concept)
Returns if a concept is used in cyclic definitions.
|
Iterator<aterm.ATermAppl> |
iterator()
Returns an iterator over all the classes in the ontology sorted based on
the definition order.
|
protected void |
processDefinitions() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitforEach, spliteratorprotected KnowledgeBase kb
protected Comparator<aterm.ATerm> comparator
public AbstractDefinitionOrder(KnowledgeBase kb, Comparator<aterm.ATerm> comparator)
protected abstract void initialize()
protected abstract Set<aterm.ATermAppl> computeCycles()
protected abstract List<aterm.ATermAppl> computeDefinitionOrder()
protected void processDefinitions()
protected abstract void addUses(aterm.ATermAppl c,
aterm.ATermAppl usedByC)
public boolean isCyclic(aterm.ATermAppl concept)
isCyclic in interface DefinitionOrderconcept - concept to checktrue if concept is used in a cyclic definitionpublic Iterator<aterm.ATermAppl> iterator()
iterator in interface Iterable<aterm.ATermAppl>iterator in interface DefinitionOrderCopyright © 2019. All rights reserved.