*/
public void testGetOperands()
{
CardinalOr cardinalOr = new CardinalOr(3);
OperandProperty prop1 = new OperandPropertyImpl(True.getInstance());
OperandProperty prop2 = new OperandPropertyImpl(True.getInstance());
OperandProperty prop3 = new OperandPropertyImpl(True.getInstance());
OperandProperty prop4 = new OperandPropertyImpl(True.getInstance());
OperandProperty prop5 = new OperandPropertyImpl(False.getInstance());
// cardinalOr has no nodes, it is false
assertFalse(cardinalOr.isTrue());
cardinalOr.addOperand(prop1);