Class RandomSampler

    • Field Detail

      • allWorlds

        private java.util.List<PossibleWorld> allWorlds
        All possible worlds
      • rand

        private java.util.Random rand
        for generating random numbers
      • worldProb

        private double worldProb
        Probability of selecting any world as a model of a formula
    • 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