Class SyntacticEnumeratingIterator

    • Constructor Summary

      Constructors 
      Constructor Description
      SyntacticEnumeratingIterator​(PlSignature signature, int formulaLength, java.io.File pathToTmp, boolean deleteTmp)
      Creates a new sampler.
    • 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

      • SyntacticEnumeratingIterator

        public SyntacticEnumeratingIterator​(PlSignature signature,
                                            int formulaLength,
                                            java.io.File pathToTmp,
                                            boolean deleteTmp)
        Creates a new sampler.
        Parameters:
        signature - the signature for formulas of the generated belief set.
        formulaLength - the maximal length of each formula (each proposition, negation, conjunction, and disjunction counts one).
        pathToTmp - the path to a folder where intermediate results (all formulas up to the required length) are stored
        deleteTmp - if "true" then the temporary folder is cleaned after each sample (it is recommended to set this to "false" to speed up sampling)