public class BasicArgumentSampler extends FormulaSampler<BasicArgument>
DEFAULT_MAXIMAL_FORMULA_LENGTH
Constructor and Description |
---|
BasicArgumentSampler(Signature signature)
Creates a new basic argument sampler for the given signature.
|
Modifier and Type | Method and Description |
---|---|
BasicArgument |
randomSample(int formula_length)
This method randomly samples a single formula of the given signature
with the given maximal formula length.
|
getSignature, randomSample, randomSample
public BasicArgumentSampler(Signature signature)
signature
- a signaturepublic BasicArgument randomSample(int formula_length)
FormulaSampler
randomSample
in class FormulaSampler<BasicArgument>
formula_length
- the maximal length of the formula to be sampled.