org.sosy_lab.solver.basicimpl

Class Fuzzer

java.lang.Object

org.sosy_lab.solver.basicimpl.Fuzzer

public class Fuzzer
extends Object

Boolean fuzzer, useful for testing.

Constructor Summary

Constructors

Constructor and Description
Fuzzer(FormulaManager pFmgr, Random pRandom)

Method Summary

Modifier and Type	Method and Description
BooleanFormula	fuzz(int formulaSize, BooleanFormula... pVars)
BooleanFormula	fuzz(int formulaSize, int maxNoVars)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Fuzzer

public Fuzzer(FormulaManager pFmgr,
              Random pRandom)

Method Detail

fuzz

public BooleanFormula fuzz(int formulaSize,
                           int maxNoVars)

fuzz

public BooleanFormula fuzz(int formulaSize,
                           BooleanFormula... pVars)