Class RandomSatSampler

java.lang.Object
org.tweetyproject.commons.BeliefSetSampler<PlFormula,PlBeliefSet>
org.tweetyproject.logics.pl.util.RandomSatSampler
All Implemented Interfaces:
Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,PlBeliefSet>

public class RandomSatSampler extends BeliefSetSampler<PlFormula,PlBeliefSet>
A sampler for uniform random k-SAT instances.
Author:
Matthias Thimm
  • Constructor Details

    • 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
  • Method Details