Class BeliefSetSampler<T extends Formula,​U extends BeliefSet<T,​?>>

    • Constructor Summary

      Constructors 
      Constructor Description
      BeliefSetSampler​(Signature signature)
      Creates a new belief base sampler for the given signature.
      BeliefSetSampler​(Signature signature, int minLength, int maxLength)
      Creates a new belief base sampler for the given signature.
    • Method Summary

      Modifier and Type Method Description
      int getMaxLength()
      Returns the max length of kbs of this sampler.
      int getMinLength()
      Returns the min length of kbs of this sampler.
      Signature getSamplerSignature()
      Returns the signature of this sampler.
      boolean hasNext()  
      abstract U next()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface java.util.Iterator

        forEachRemaining, remove
    • Field Detail

      • signature

        private Signature signature
        The signature of this sampler.
      • minLength

        private int minLength
        Min length of samples belief sets
      • maxLength

        private int maxLength
        Max length of samples belief sets.
      • DEFAULT_MAXIMUM_BELIEFBASE_LENGTH

        public static final int DEFAULT_MAXIMUM_BELIEFBASE_LENGTH
        This constant specifies the default maximum length for sampled belief bases. The interpretation of this int depends on the actual type of knowledge representation but should resemble the maximum number of formulas in the belief base;
        See Also:
        Constant Field Values
      • DEFAULT_MINIMUM_BELIEFBASE_LENGTH

        public static final int DEFAULT_MINIMUM_BELIEFBASE_LENGTH
        This constant specifies the default minimum length for sampled belief bases. The interpretation of this int depends on the actual type of knowledge representation but should resemble the minimum number of formulas in the belief base;
        See Also:
        Constant Field Values
    • Constructor Detail

      • BeliefSetSampler

        public BeliefSetSampler​(Signature signature)
        Creates a new belief base sampler for the given signature.
        Parameters:
        signature - a signature.
      • BeliefSetSampler

        public BeliefSetSampler​(Signature signature,
                                int minLength,
                                int maxLength)
        Creates a new belief base sampler for the given signature.
        Parameters:
        signature - a signature.
        minLength - the minimum length of knowledge bases
        maxLength - the maximum length of knowledge bases
    • Method Detail

      • getSamplerSignature

        public Signature getSamplerSignature()
        Returns the signature of this sampler.
        Returns:
        the signature of this sampler.
      • getMinLength

        public int getMinLength()
        Returns the min length of kbs of this sampler.
        Returns:
        the min length of kbs of this sampler.
      • getMaxLength

        public int getMaxLength()
        Returns the max length of kbs of this sampler.
        Returns:
        the max length of kbs of this sampler.