public class TaxonomyBasedDefinitionOrder extends AbstractDefinitionOrder
comparator, kb| Constructor and Description |
|---|
TaxonomyBasedDefinitionOrder(KnowledgeBase kb,
Comparator<aterm.ATerm> comparator) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
addUses(aterm.ATermAppl c,
aterm.ATermAppl d) |
protected Set<aterm.ATermAppl> |
computeCycles() |
protected List<aterm.ATermAppl> |
computeDefinitionOrder() |
protected void |
initialize() |
isCyclic, iterator, processDefinitionsclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitforEach, spliteratorpublic TaxonomyBasedDefinitionOrder(KnowledgeBase kb, Comparator<aterm.ATerm> comparator)
protected void initialize()
initialize in class AbstractDefinitionOrderprotected void addUses(aterm.ATermAppl c,
aterm.ATermAppl d)
addUses in class AbstractDefinitionOrderprotected Set<aterm.ATermAppl> computeCycles()
computeCycles in class AbstractDefinitionOrderprotected List<aterm.ATermAppl> computeDefinitionOrder()
computeDefinitionOrder in class AbstractDefinitionOrderCopyright © 2019. All rights reserved.