Class BasicArgumentSampler


  • public class BasicArgumentSampler
    extends FormulaSampler<BasicArgument>
    This class implements a formula sampler for structured argumentation frameworks.
    Author:
    Matthias Thimm
    • 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 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.