Class HsSampler

    • Constructor Summary

      Constructors 
      Constructor Description
      HsSampler​(PlSignature signature, int incvalue)
      Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
      HsSampler​(PlSignature signature, int incvalue, int minLength, int maxLength)
      Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
    • Method Summary

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

      • HsSampler

        public HsSampler​(PlSignature signature,
                         int incvalue)
        Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt. the Hs inconsistency measure)
        Parameters:
        signature - some propositional signature
        incvalue - some inconsistency value.
      • HsSampler

        public HsSampler​(PlSignature signature,
                         int incvalue,
                         int minLength,
                         int maxLength)
        Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt. the Hs inconsistency measure)
        Parameters:
        signature - some propositional signature
        incvalue - some inconsistency value.
        minLength - the minimum length of knowledge bases
        maxLength - the maximum length of knowledge bases