Class AbstractDefinitionOrder

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.List<openllet.aterm.ATermAppl> getList()
      boolean isCyclic​(openllet.aterm.ATermAppl concept)
      Returns if a concept is used in cyclic definitions.
      java.util.Iterator<openllet.aterm.ATermAppl> iterator()
      Returns an iterator over all the classes in the ontology sorted based on the definition _order.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface java.lang.Iterable

        forEach, spliterator
    • Constructor Detail

      • AbstractDefinitionOrder

        public AbstractDefinitionOrder​(KnowledgeBase kb,
                                       java.util.Comparator<openllet.aterm.ATerm> comparator)
    • Method Detail

      • isCyclic

        public boolean isCyclic​(openllet.aterm.ATermAppl concept)
        Returns if a concept is used in cyclic definitions.
        Specified by:
        isCyclic in interface DefinitionOrder
        Parameters:
        concept - concept to check
        Returns:
        true if concept is used in a cyclic definition
      • iterator

        public java.util.Iterator<openllet.aterm.ATermAppl> iterator()
        Returns an iterator over all the classes in the ontology sorted based on the definition _order.
        Specified by:
        iterator in interface DefinitionOrder
        Specified by:
        iterator in interface java.lang.Iterable<openllet.aterm.ATermAppl>
      • getList

        public java.util.List<openllet.aterm.ATermAppl> getList()
        Specified by:
        getList in interface DefinitionOrder