/** Test of getArgCount method, of class Disjunction. */
@Test
public void testGetArgCount() {
System.out.println("getArgCount");
Literal l = new Literal("a");
Literal r = new Literal("b");
Disjunction instance = new Disjunction(l, r);
int expResult = 2;
int result = instance.getArgCount();
assertEquals(expResult, result);
Literal r2 = new Literal("c");
instance = new Disjunction(l, r, r2);
expResult = 3;
result = instance.getArgCount();
assertEquals(expResult, result);
}
