public BooleanFunction(int variableCount, int formulaDepth) { this.variableCount = variableCount; BooleanFormula formula = BooleanFormula.DepthBoundedRandomBooleanFormula(formulaDepth, variableCount); formulas = new BooleanFormulaSet(); formulas.Add(formula); this.vector = formula.FormulaValues(); }
public bool[] FormulaValues() { return(BooleanFormula.FormulaValues(this)); }
public bool[] FormulaValues(List <BooleanVariable> variableList) { return(BooleanFormula.FormulaValues(this, variableList)); }
public void SetNewBooleanFormula(BooleanFormula formula) { formulas = new BooleanFormulaSet(); formulas.Add(formula); this.vector = formula.FormulaValues(); }