org.kahina.logic.sat.data.free

Class RandomFormulaGenerator

java.lang.Object

org.kahina.logic.sat.data.free.RandomFormulaGenerator

public class RandomFormulaGenerator
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
RandomFormulaGenerator()

Method Summary

Methods

Modifier and Type	Method and Description
static BooleanFormula	randomFormula(int numVars, int maxHeight, double[] fanProb, boolean complete)
static BooleanFormula	randomFormula(int numVars, int maxHeight, int maxFan, boolean complete)

Methods inherited from class java.lang.Object

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

Constructor Detail

RandomFormulaGenerator

public RandomFormulaGenerator()

Method Detail

randomFormula

public static BooleanFormula randomFormula(int numVars,
                           int maxHeight,
                           int maxFan,
                           boolean complete)

randomFormula

public static BooleanFormula randomFormula(int numVars,
                           int maxHeight,
                           double[] fanProb,
                           boolean complete)