net.sf.tweety.logics.pl.util

Class RandomSampler

java.lang.Object

net.sf.tweety.commons.BeliefSetSampler<PropositionalFormula,PlBeliefSet>

net.sf.tweety.logics.pl.util.RandomSampler

All Implemented Interfaces:

java.util.Iterator<PlBeliefSet>, BeliefSetIterator<PropositionalFormula,PlBeliefSet>

public class RandomSampler
extends BeliefSetSampler<PropositionalFormula,PlBeliefSet>

Author:

mthimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<PossibleWorld>	allWorlds All possible worlds
private java.util.Random	rand for generating random numbers
private double	worldProb Probability of selecting any world as a model of a formula

Fields inherited from class net.sf.tweety.commons.BeliefSetSampler

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor and 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 and Description
PlBeliefSet	next()
private PropositionalFormula	randomFormula() Returns a random formula.

Methods inherited from class net.sf.tweety.commons.BeliefSetSampler

getMaxLength, getMinLength, getSignature, hasNext

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

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

Method Detail

next

public PlBeliefSet next()

Specified by:

next in interface java.util.Iterator<PlBeliefSet>

Specified by:

next in interface BeliefSetIterator<PropositionalFormula,PlBeliefSet>

Specified by:

next in class BeliefSetSampler<PropositionalFormula,PlBeliefSet>

randomFormula

private PropositionalFormula randomFormula()

Returns a random formula.

Returns:

a random formula.