Package 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 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 net.sf.tweety.commons.FormulaSampler
getSignature, randomSample, randomSample
-
-
-
-
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 classFormulaSampler<BasicArgument>
- Parameters:
formula_length
- the maximal length of the formula to be sampled.- Returns:
- a single formula.
-
-