net.sf.tweety.commons

Class BeliefSetSampler<R extends Formula,S extends BeliefSet<R>>

java.lang.Object

net.sf.tweety.commons.BeliefSetSampler<R,S>

Type Parameters:

R - The type of formulas belief sets are made of

S - The type of belief sets sampled

All Implemented Interfaces:

java.util.Iterator<S>, BeliefSetIterator<R,S>

Direct Known Subclasses:

CnfSampler, ContensionSampler, HsSampler, MiSampler, RandomSampler, RandomSatSampler, SimpleSafSampler, SyntacticRandomSampler

public abstract class BeliefSetSampler<R extends Formula,S extends BeliefSet<R>>
extends java.lang.Object
implements BeliefSetIterator<R,S>

This abstract class models a random sampler for belief sets. It comprises of a set of sample methods which generates some random belief sets wrt. to a given signature.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_MAXIMUM_BELIEFBASE_LENGTH This constant specifies the default maximum length for sampled belief bases.
static int	DEFAULT_MINIMUM_BELIEFBASE_LENGTH This constant specifies the default minimum length for sampled belief bases.
private int	maxLength Max length of samples belief sets.
private int	minLength Min length of samples belief sets
private Signature	signature The signature of this sampler.

Constructor Summary

Constructors

Constructor and Description
BeliefSetSampler(Signature signature) Creates a new belief base sampler for the given signature.
BeliefSetSampler(Signature signature, int minLength, int maxLength) Creates a new belief base sampler for the given signature.

Method Summary

Modifier and Type	Method and Description
int	getMaxLength() Returns the max length of kbs of this sampler.
int	getMinLength() Returns the min length of kbs of this sampler.
Signature	getSignature() Returns the signature of this sampler.
boolean	hasNext()
abstract S	next()

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

signature

private Signature signature

The signature of this sampler.

minLength

private int minLength

Min length of samples belief sets

maxLength

private int maxLength

Max length of samples belief sets.

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH

public static final int DEFAULT_MAXIMUM_BELIEFBASE_LENGTH

This constant specifies the default maximum length for sampled belief bases. The interpretation of this int depends on the actual type of knowledge representation but should resemble the maximum number of formulas in the belief base;

See Also:

Constant Field Values

DEFAULT_MINIMUM_BELIEFBASE_LENGTH

public static final int DEFAULT_MINIMUM_BELIEFBASE_LENGTH

This constant specifies the default minimum length for sampled belief bases. The interpretation of this int depends on the actual type of knowledge representation but should resemble the minimum number of formulas in the belief base;

See Also:

Constant Field Values

Constructor Detail

BeliefSetSampler

public BeliefSetSampler(Signature signature)

Creates a new belief base sampler for the given signature.

Parameters:

signature - a signature.

BeliefSetSampler

public BeliefSetSampler(Signature signature,
                        int minLength,
                        int maxLength)

Creates a new belief base sampler for the given signature.

Parameters:

signature - a signature.

minLength - the minimum length of knowledge bases

maxLength - the maximum length of knowledge bases

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<S extends BeliefSet<R>>

Specified by:

hasNext in interface BeliefSetIterator<R extends Formula,S extends BeliefSet<R>>

next

public abstract S next()

Specified by:

next in interface java.util.Iterator<S extends BeliefSet<R>>

Specified by:

next in interface BeliefSetIterator<R extends Formula,S extends BeliefSet<R>>

getSignature

public Signature getSignature()

Returns the signature of this sampler.

Returns:

the signature of this sampler.

getMinLength

public int getMinLength()

Returns the min length of kbs of this sampler.

Returns:

the min length of kbs of this sampler.

getMaxLength

public int getMaxLength()

Returns the max length of kbs of this sampler.

Returns:

the max length of kbs of this sampler.