Class RandomSatSampler

    • Constructor Detail

      • RandomSatSampler

        public RandomSatSampler​(Signature signature,
                                int k)
        Constructs a new sampler
        Parameters:
        signature - some signature
        k - the length of each clause
      • RandomSatSampler

        public RandomSatSampler​(Signature signature,
                                int k,
                                int minLength,
                                int maxLength)
        Constructs a new sampler
        Parameters:
        signature - some signature
        k - the length of each clause
        minLength - the minimum length of knowledge bases
        maxLength - the maximum length of knowledge bases