Package org.tweetyproject.arg.saf.util

Class BasicArgumentSampler

java.lang.Object

org.tweetyproject.commons.FormulaSampler<BasicArgument>

org.tweetyproject.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 org.tweetyproject.commons.FormulaSampler

DEFAULT_MAXIMAL_FORMULA_LENGTH

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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 org.tweetyproject.commons.FormulaSampler

getSignature, randomSample, randomSample

Methods inherited from class java.lang.Object

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

Constructor Details

BasicArgumentSampler

public BasicArgumentSampler(Signature signature)

Creates a new basic argument sampler for the given signature.

Parameters:

signature - a signature

Method Details

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.