org.tweetyproject.logics.pl.util.RandomSampler

All Implemented Interfaces:: Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula, PlBeliefSet>

public class RandomSampler extends BeliefSetSampler<PlFormula, PlBeliefSet>

This sampler generates random belief sets by selecting, for each formula a random set of possible worlds as its models.

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSetSampler
DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH
Constructor Summary

Constructors

Constructor

Description

RandomSampler(Signature signature, double worldProb)

Creates a new sampler for the given signature

RandomSampler(Signature signature, double worldProb, int minLength, int maxLength)

Creates a new sampler for the given signature
Method Summary

Modifier and Type

Method

Description

PlBeliefSet

next()

Methods inherited from class org.tweetyproject.commons.BeliefSetSampler
getMaxLength, getMinLength, getSamplerSignature, hasNext

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator
forEachRemaining, remove

Class RandomSampler

Field Summary