@Test
public void testPositiveCases() throws Exception {
ExpressionExpander expander = new ExpressionExpander();
// (!a) -> (!a)
NonLeafExpressionNode exp1 = new NonLeafExpressionNode(Operator.NOT,
new LeafExpressionNode("a"));
ExpressionNode result = expander.expand(exp1);
assertTrue(result instanceof NonLeafExpressionNode);
NonLeafExpressionNode nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.NOT, nlResult.getOperator());
assertEquals("a", ((LeafExpressionNode) nlResult.getChildExps().get(0)).getIdentifier());
// (a | b) -> (a | b)
NonLeafExpressionNode exp2 = new NonLeafExpressionNode(Operator.OR,
new LeafExpressionNode("a"), new LeafExpressionNode("b"));
result = expander.expand(exp2);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(2, nlResult.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) nlResult.getChildExps().get(0)).getIdentifier());
assertEquals("b", ((LeafExpressionNode) nlResult.getChildExps().get(1)).getIdentifier());
// (a & b) -> (a & b)
NonLeafExpressionNode exp3 = new NonLeafExpressionNode(Operator.AND,
new LeafExpressionNode("a"), new LeafExpressionNode("b"));
result = expander.expand(exp3);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.AND, nlResult.getOperator());
assertEquals(2, nlResult.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) nlResult.getChildExps().get(0)).getIdentifier());
assertEquals("b", ((LeafExpressionNode) nlResult.getChildExps().get(1)).getIdentifier());
// ((a | b) | c) -> (a | b | c)
NonLeafExpressionNode exp4 = new NonLeafExpressionNode(Operator.OR, new NonLeafExpressionNode(
Operator.OR, new LeafExpressionNode("a"), new LeafExpressionNode("b")),
new LeafExpressionNode("c"));
result = expander.expand(exp4);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(3, nlResult.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) nlResult.getChildExps().get(0)).getIdentifier());
assertEquals("b", ((LeafExpressionNode) nlResult.getChildExps().get(1)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) nlResult.getChildExps().get(2)).getIdentifier());
// ((a & b) & c) -> (a & b & c)
NonLeafExpressionNode exp5 = new NonLeafExpressionNode(Operator.AND, new NonLeafExpressionNode(
Operator.AND, new LeafExpressionNode("a"), new LeafExpressionNode("b")),
new LeafExpressionNode("c"));
result = expander.expand(exp5);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.AND, nlResult.getOperator());
assertEquals(3, nlResult.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) nlResult.getChildExps().get(0)).getIdentifier());
assertEquals("b", ((LeafExpressionNode) nlResult.getChildExps().get(1)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) nlResult.getChildExps().get(2)).getIdentifier());
// (a | b) & c -> ((a & c) | (b & c))
NonLeafExpressionNode exp6 = new NonLeafExpressionNode(Operator.AND, new NonLeafExpressionNode(
Operator.OR, new LeafExpressionNode("a"), new LeafExpressionNode("b")),
new LeafExpressionNode("c"));
result = expander.expand(exp6);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(2, nlResult.getChildExps().size());
NonLeafExpressionNode temp = (NonLeafExpressionNode) nlResult.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(1);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
// (a & b) | c -> ((a & b) | c)
NonLeafExpressionNode exp7 = new NonLeafExpressionNode(Operator.OR, new NonLeafExpressionNode(
Operator.AND, new LeafExpressionNode("a"), new LeafExpressionNode("b")),
new LeafExpressionNode("c"));
result = expander.expand(exp7);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(2, nlResult.getChildExps().size());
assertEquals("c", ((LeafExpressionNode) nlResult.getChildExps().get(1)).getIdentifier());
nlResult = (NonLeafExpressionNode) nlResult.getChildExps().get(0);
assertEquals(Operator.AND, nlResult.getOperator());
assertEquals(2, nlResult.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) nlResult.getChildExps().get(0)).getIdentifier());
assertEquals("b", ((LeafExpressionNode) nlResult.getChildExps().get(1)).getIdentifier());
// ((a & b) | c) & d -> (((a & b) & d) | (c & d))
NonLeafExpressionNode exp8 = new NonLeafExpressionNode(Operator.AND);
exp8.addChildExp(new NonLeafExpressionNode(Operator.OR, new NonLeafExpressionNode(Operator.AND,
new LeafExpressionNode("a"), new LeafExpressionNode("b")), new LeafExpressionNode("c")));
exp8.addChildExp(new LeafExpressionNode("d"));
result = expander.expand(exp8);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(2, nlResult.getChildExps().size());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(1);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) temp.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
// (a | b) | (c | d) -> (a | b | c | d)
NonLeafExpressionNode exp9 = new NonLeafExpressionNode(Operator.OR);
exp9.addChildExp(new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode("a"),
new LeafExpressionNode("b")));
exp9.addChildExp(new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode("c"),
new LeafExpressionNode("d")));
result = expander.expand(exp9);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(4, nlResult.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) nlResult.getChildExps().get(0)).getIdentifier());
assertEquals("b", ((LeafExpressionNode) nlResult.getChildExps().get(1)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) nlResult.getChildExps().get(2)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) nlResult.getChildExps().get(3)).getIdentifier());
// (a & b) & (c & d) -> (a & b & c & d)
NonLeafExpressionNode exp10 = new NonLeafExpressionNode(Operator.AND);
exp10.addChildExp(new NonLeafExpressionNode(Operator.AND, new LeafExpressionNode("a"),
new LeafExpressionNode("b")));
exp10.addChildExp(new NonLeafExpressionNode(Operator.AND, new LeafExpressionNode("c"),
new LeafExpressionNode("d")));
result = expander.expand(exp10);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.AND, nlResult.getOperator());
assertEquals(4, nlResult.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) nlResult.getChildExps().get(0)).getIdentifier());
assertEquals("b", ((LeafExpressionNode) nlResult.getChildExps().get(1)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) nlResult.getChildExps().get(2)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) nlResult.getChildExps().get(3)).getIdentifier());
// (a | b) & (c | d) -> ((a & c) | (a & d) | (b & c) | (b & d))
NonLeafExpressionNode exp11 = new NonLeafExpressionNode(Operator.AND);
exp11.addChildExp(new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode("a"),
new LeafExpressionNode("b")));
exp11.addChildExp(new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode("c"),
new LeafExpressionNode("d")));
result = expander.expand(exp11);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(4, nlResult.getChildExps().size());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(1);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(2);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(3);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
// (((a | b) | c) | d) & e -> ((a & e) | (b & e) | (c & e) | (d & e))
NonLeafExpressionNode exp12 = new NonLeafExpressionNode(Operator.AND);
NonLeafExpressionNode tempExp1 = new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode(
"a"), new LeafExpressionNode("b"));
NonLeafExpressionNode tempExp2 = new NonLeafExpressionNode(Operator.OR, tempExp1,
new LeafExpressionNode("c"));
NonLeafExpressionNode tempExp3 = new NonLeafExpressionNode(Operator.OR, tempExp2,
new LeafExpressionNode("d"));
exp12.addChildExp(tempExp3);
exp12.addChildExp(new LeafExpressionNode("e"));
result = expander.expand(exp12);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(4, nlResult.getChildExps().size());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("e", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(1);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("e", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(2);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("e", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(3);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("e", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
// (a | b | c) & d -> ((a & d) | (b & d) | (c & d))
NonLeafExpressionNode exp13 = new NonLeafExpressionNode(Operator.AND,
new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode("a"), new LeafExpressionNode(
"b"), new LeafExpressionNode("c")), new LeafExpressionNode("d"));
result = expander.expand(exp13);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(3, nlResult.getChildExps().size());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(1);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(2);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
// ((a | b) & (c | d)) & (e | f) -> (((a & c) & e) | ((a & c) & f) | ((a & d) & e) | ((a & d) &
// f) | ((b & c) & e) | ((b & c) & f) | ((b & d) & e) | ((b & d) & f))
NonLeafExpressionNode exp15 = new NonLeafExpressionNode(Operator.AND);
NonLeafExpressionNode temp1 = new NonLeafExpressionNode(Operator.AND);
temp1.addChildExp(new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode("a"),
new LeafExpressionNode("b")));
temp1.addChildExp(new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode("c"),
new LeafExpressionNode("d")));
exp15.addChildExp(temp1);
exp15.addChildExp(new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode("e"),
new LeafExpressionNode("f")));
result = expander.expand(exp15);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.OR, nlResult.getOperator());
assertEquals(8, nlResult.getChildExps().size());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("e", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) temp.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(1);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("f", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) temp.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(2);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("e", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) temp.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(3);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("f", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) temp.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("a", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(4);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("e", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) temp.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(5);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("f", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) temp.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("c", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(6);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("e", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) temp.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) nlResult.getChildExps().get(7);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("f", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
temp = (NonLeafExpressionNode) temp.getChildExps().get(0);
assertEquals(Operator.AND, temp.getOperator());
assertEquals(2, temp.getChildExps().size());
assertEquals("b", ((LeafExpressionNode) temp.getChildExps().get(0)).getIdentifier());
assertEquals("d", ((LeafExpressionNode) temp.getChildExps().get(1)).getIdentifier());
// !(a | b) -> ((!a) & (!b))
NonLeafExpressionNode exp16 = new NonLeafExpressionNode(Operator.NOT,
new NonLeafExpressionNode(Operator.OR, new LeafExpressionNode("a"), new LeafExpressionNode(
"b")));
result = expander.expand(exp16);
assertTrue(result instanceof NonLeafExpressionNode);
nlResult = (NonLeafExpressionNode) result;
assertEquals(Operator.AND, nlResult.getOperator());