Class EnumeratingIterator

    • Method Summary

      Modifier and Type Method Description
      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

      • EnumeratingIterator

        public EnumeratingIterator​(PlSignature signature)
        Creates a new sampler for the given signature
        Parameters:
        signature - some signature
      • EnumeratingIterator

        public EnumeratingIterator​(PlSignature signature,
                                   boolean joinSemanticVariants)
        Creates a new sampler for the given signature
        Parameters:
        signature - some signature
        joinSemanticVariants - whether semantical variants of the same formula should be considered as distinct (="false").