public class Fuzzer extends Object
| Constructor and Description |
|---|
Fuzzer(FormulaManager pFmgr,
Random pRandom) |
| Modifier and Type | Method and Description |
|---|---|
BooleanFormula |
fuzz(int formulaSize,
BooleanFormula... pVars) |
BooleanFormula |
fuzz(int formulaSize,
int maxNoVars) |
public Fuzzer(FormulaManager pFmgr, Random pRandom)
public BooleanFormula fuzz(int formulaSize, int maxNoVars)
public BooleanFormula fuzz(int formulaSize, BooleanFormula... pVars)