Class RandomSampler

    • Constructor Detail

      • RandomSampler

        public RandomSampler​(Signature signature,
                             double worldProb)
        Creates a new sampler for the given signature
        Parameters:
        signature - some signature
        worldProb - Probability of selecting any world as a model of a formula
      • RandomSampler

        public RandomSampler​(Signature signature,
                             double worldProb,
                             int minLength,
                             int maxLength)
        Creates a new sampler for the given signature
        Parameters:
        signature - some signature
        worldProb - Probability of selecting any world as a model of a formula
        minLength - the minimum length of knowledge bases
        maxLength - the maximum length of knowledge bases