Class TextfileIterator

    • Constructor Summary

      Constructors 
      Constructor Description
      TextfileIterator​(java.lang.String pathToFile)
      Creates a new iterator based on the given file.
    • Method Summary

      Modifier and Type Method Description
      void close()
      Close file reader (in case no more belief bases should be read)
      boolean hasNext()  
      PlBeliefSet next()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface java.util.Iterator

        forEachRemaining, remove
    • Constructor Detail

      • TextfileIterator

        public TextfileIterator​(java.lang.String pathToFile)
        Creates a new iterator based on the given file.
        Parameters:
        pathToFile - path to a text file containing belief bases (one per line)