Interface BeliefSetIterator<T extends Formula,​U extends BeliefSet<T,​?>>

    • Method Summary

      Modifier and Type Method Description
      boolean hasNext()  
      U next()  
      • Methods inherited from interface java.util.Iterator

        forEachRemaining, remove
    • Method Detail

      • hasNext

        boolean hasNext()
        Specified by:
        hasNext in interface java.util.Iterator<T extends Formula>
      • next

        U next()
        Specified by:
        next in interface java.util.Iterator<T extends Formula>