Class RandomSampler

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

public class RandomSampler extends BeliefSetSampler<PlFormula,PlBeliefSet>
Author:
mthimm
  • Constructor Details

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