Package org.tweetyproject.commons

Class FormulaSampler<T extends Formula>

java.lang.Object

org.tweetyproject.commons.FormulaSampler<T>

Type Parameters:

T - the class of the formulas.

Direct Known Subclasses:

BasicArgumentSampler

public abstract class FormulaSampler<T extends Formula>
extends Object

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
static final int	DEFAULT_MAXIMAL_FORMULA_LENGTH	This constant specifies the default length for sampled formulas.

Constructor Summary

Constructors

Constructor	Description
FormulaSampler(Signature signature)	Creates a new formula sampler for the given signature.

Method Summary

Modifier and Type	Method	Description
Signature	getSignature()	Returns the signature of this sampler.
T	randomSample()	This method randomly samples a single formula of the given signature with the default maximal formula length.
abstract T	randomSample(int formula_length)	This method randomly samples a single formula of the given signature with the given maximal formula length.
Set<T>	randomSample(int formula_length, int numFormulas)	This method randomly samples a total of "numFormulas" of the given signature and maximal formula length.

Methods inherited from class java.lang.Object

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

Field Details

DEFAULT_MAXIMAL_FORMULA_LENGTH

public static final int DEFAULT_MAXIMAL_FORMULA_LENGTH

This constant specifies the default length for sampled formulas. The interpretation of this int depends on the actual type of knowledge representation but should resemble the number of atomic expressions and connectives used.

See Also:

• Constant Field Values

Constructor Details

FormulaSampler

public FormulaSampler(Signature signature)

Creates a new formula sampler for the given signature.

Parameters:

signature - a signature.

Method Details

randomSample

public abstract T randomSample(int formula_length)

This method randomly samples a single formula of the given signature with the given maximal formula length.

Parameters:

formula_length - the maximal length of the formula to be sampled.

Returns:

a single formula.

randomSample

public T randomSample()

This method randomly samples a single formula of the given signature with the default maximal formula length.

Returns:

a single formula.

randomSample

public Set<T> randomSample(int formula_length,
 int numFormulas)

This method randomly samples a total of "numFormulas" of the given signature and maximal formula length.

Parameters:

formula_length - the maximal length of the formulas to be sampled.

numFormulas - the number of formulas to be sampled.

Returns:

a set of formulas.

getSignature

public Signature getSignature()

Returns the signature of this sampler.

Returns:

the signature of this sampler.