Class BasicArgumentSampler


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