public BooleanFunction(int variableCount, bool keepsZero, bool keepsOne) { this.variableCount = variableCount; formulas = new BooleanFormulaSet(); do { this.vector = BooleanVector.RandomBooleanVector(1 << variableCount); }while ((!keepsZero && KeepsConstantZero()) || (keepsZero && !KeepsConstantZero()) || (!keepsOne && KeepsConstantOne()) || (keepsOne && !KeepsConstantOne())); }
public BooleanFunction(int variableCount, bool selfAdjoint, bool linear, bool monotone, bool balanced) { this.variableCount = variableCount; formulas = new BooleanFormulaSet(); do { this.vector = BooleanVector.RandomBooleanVector(1 << variableCount); }while ((selfAdjoint && !IsSelfAdjoint()) || (linear && !IsLinear()) || (monotone && !IsMonotone()) || (balanced && !IsBalanced())); }
public BooleanFunction(int variableCount, bool notSelfAdjoint, bool notLinear, bool notMonotone) { this.variableCount = variableCount; formulas = new BooleanFormulaSet(); do { this.vector = BooleanVector.RandomBooleanVector(1 << variableCount); }while ((notSelfAdjoint && IsSelfAdjoint()) || (notLinear && IsLinear()) || (notMonotone && IsMonotone())); }
public BooleanFunction(int variableCount) { this.variableCount = variableCount; formulas = new BooleanFormulaSet(); this.vector = BooleanVector.RandomBooleanVector(1 << variableCount); }