net.sf.tweety.logics.pl.util

Class EnumeratingPlBeliefSetSampler

java.lang.Object

net.sf.tweety.commons.BeliefBaseSampler<PlBeliefSet>

net.sf.tweety.logics.pl.util.EnumeratingPlBeliefSetSampler

public class EnumeratingPlBeliefSetSampler
extends net.sf.tweety.commons.BeliefBaseSampler<PlBeliefSet>

This sampler enumerates all possible propositional belief bases of the given signature. It does so by taking all subsets of the set of interpretations as the models of some formula and combines all these formulas in all ways.

Author:

Matthias Thimm

Field Summary

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

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor and Description
EnumeratingPlBeliefSetSampler(net.sf.tweety.commons.Signature signature) Creates a new sampler for the given signature

Method Summary

Modifier and Type	Method and Description
PlBeliefSet	randomSample(int minLength, int maxLength)

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

getSignature, randomSample, randomSample

Methods inherited from class java.lang.Object

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

Constructor Detail

EnumeratingPlBeliefSetSampler

public EnumeratingPlBeliefSetSampler(net.sf.tweety.commons.Signature signature)

Creates a new sampler for the given signature

Parameters:

signature - some signature

Method Detail

randomSample

public PlBeliefSet randomSample(int minLength,
                                int maxLength)

Specified by:

randomSample in class net.sf.tweety.commons.BeliefBaseSampler<PlBeliefSet>