public void TestArity() { for (int i = 0; i < 200; i++) { BooleanExpression[] operands = new BooleanExpression[i]; for (int j = 0; j < i; j++) { operands[j] = A; } Disjunction dis = new Disjunction(operands); Assert.Equal(i, dis.GetArity()); } }
public void TestArity() { for (int i = 0; i < 200; i++) { BooleanExpression[] operands = new BooleanExpression[i]; for (int j = 0; j < i; j++) { operands[j] = A; } Disjunction dis = new Disjunction(operands); Assert.Equal(i, dis.GetArity()); } }