public interface DefinitionOrder extends Iterable<aterm.ATermAppl>
| Modifier and Type | Method and Description |
|---|---|
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.
|
forEach, spliteratorIterator<aterm.ATermAppl> iterator()
boolean isCyclic(aterm.ATermAppl concept)
concept - concept to checktrue if concept is used in a cyclic definitionCopyright © 2019. All rights reserved.