net.sf.tweety.arg.saf.util

Class BasicArgumentSampler

java.lang.Object

net.sf.tweety.commons.FormulaSampler<BasicArgument>

net.sf.tweety.arg.saf.util.BasicArgumentSampler

public class BasicArgumentSampler
extends FormulaSampler<BasicArgument>

This class implements a formula sampler for structured argumentation frameworks.

Author:

Matthias Thimm

Field Summary

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

DEFAULT_MAXIMAL_FORMULA_LENGTH

Constructor Summary

Constructors

Constructor and Description
BasicArgumentSampler(Signature signature) Creates a new basic argument sampler for the given signature.

Method Summary

Modifier and Type	Method and Description
BasicArgument	randomSample(int formula_length) This method randomly samples a single formula of the given signature with the given maximal formula length.

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

getSignature, randomSample, randomSample

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicArgumentSampler

public BasicArgumentSampler(Signature signature)

Creates a new basic argument sampler for the given signature.

Parameters:

signature - a signature

Method Detail

randomSample

public BasicArgument randomSample(int formula_length)

Description copied from class: FormulaSampler

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

Specified by:

randomSample in class FormulaSampler<BasicArgument>

Parameters:

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

Returns:

a single formula.