Class AllNamedIndividualsIterator

  • All Implemented Interfaces:
    java.util.Iterator<Individual>

    public class AllNamedIndividualsIterator
    extends java.lang.Object
    implements java.util.Iterator<Individual>

    Title: All Named Individuals Iterator

    Description: Iterates over all named individuals in the _abox,

    Copyright: Copyright (c) 2007

    Company: Clark & Parsia, LLC.

    Author:
    Ron Alford
    • Constructor Detail

      • AllNamedIndividualsIterator

        public AllNamedIndividualsIterator​(ABox abox)
    • Method Detail

      • hasNext

        public boolean hasNext()
        Specified by:
        hasNext in interface java.util.Iterator<Individual>
      • remove

        public void remove()
        Specified by:
        remove in interface java.util.Iterator<Individual>