TextfileIterator

java.lang.Object
- org.tweetyproject.logics.pl.util.TextfileIterator

All Implemented Interfaces:

java.util.Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,PlBeliefSet>
```
public class TextfileIterator
extends java.lang.Object
implements BeliefSetIterator<PlFormula,PlBeliefSet>
```
Enumerates all belief bases from a text file; the file contains one belief base per line.

Author:

Matthias Thimm

- 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)
- Method Detail
  - hasNext
```
public boolean hasNext()
```
    Specified by:
    
    hasNext in interface BeliefSetIterator<PlFormula,PlBeliefSet>
    
    Specified by:
    
    hasNext in interface java.util.Iterator<PlBeliefSet>
  - next
```
public PlBeliefSet next()
```
    Specified by:
    
    next in interface BeliefSetIterator<PlFormula,PlBeliefSet>
    
    Specified by:
    
    next in interface java.util.Iterator<PlBeliefSet>
  - close
```
public void close()
           throws java.io.IOException
```
    Close file reader (in case no more belief bases should be read)
    
    Throws:
    
    java.io.IOException - if some IO issue occurs.