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
  • 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.