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 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

Modifier and Type	Field and Description
private java.util.List<PossibleWorld>	allWorlds All possible worlds
private int	currentLength The current length
private int	currentMaxLength The currently used max length.
private int	currentMinLength The currently used min length.
private java.util.BitSet	indices The current indices of the worlds that construct the formulas.

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

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor and Description
EnumeratingPlBeliefSetSampler(Signature signature) Creates a new sampler for the given signature

Method Summary

Modifier and Type	Method and Description
private java.util.BitSet	increment(java.util.BitSet bitSet) Increments the given bit set, returns null if an overflow happens.
private PlBeliefSet	next() Returns the next belief set.
PlBeliefSet	randomSample(int minLength, int maxLength) This method randomly samples a single belief base of the given signature with the given belief base length.

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

Field Detail

currentMinLength

private int currentMinLength

The currently used min length.

currentMaxLength

private int currentMaxLength

The currently used max length.

currentLength

private int currentLength

The current length

allWorlds

private java.util.List<PossibleWorld> allWorlds

All possible worlds

indices

private java.util.BitSet indices

The current indices of the worlds that construct the formulas.

Constructor Detail

EnumeratingPlBeliefSetSampler

public EnumeratingPlBeliefSetSampler(Signature signature)

Creates a new sampler for the given signature

Parameters:

signature - some signature

Method Detail

randomSample

public PlBeliefSet randomSample(int minLength,
                                int maxLength)

Description copied from class: BeliefBaseSampler

This method randomly samples a single belief base of the given signature with the given belief base length.

Specified by:

randomSample in class BeliefBaseSampler<PlBeliefSet>

Parameters:

minLength - the minimum length of the belief base.

maxLength - the maximum length of the belief base.

Returns:

a single belief base.

next

private PlBeliefSet next()

Returns the next belief set.

Returns:

the next belief set.

increment

private java.util.BitSet increment(java.util.BitSet bitSet)

Increments the given bit set, returns null if an overflow happens.

Parameters:

bitSet - some bit set.

Returns:

the incremented bit set