Class FormulaSampler<T extends Formula>

java.lang.Object
org.tweetyproject.commons.FormulaSampler<T>
Type Parameters:
T - the class of the formulas.
Direct Known Subclasses:
BasicArgumentSampler

public abstract class FormulaSampler<T extends Formula> extends Object
This abstract class models a sampler for formulas. It comprises of a set of sample methods which generates some random formulas wrt. to a given signature.
Author:
Matthias Thimm