@Test public void testMakeAppl() { final AFun symmies[] = new AFun[2]; final ATermAppl apples[] = new ATermAppl[16]; symmies[0] = _factory.makeAFun("f0", 0, false); symmies[1] = _factory.makeAFun("f1", 1, false); // symmies[2] = factory.makeAFun("f6", 6, false); // symmies[3] = factory.makeAFun("f10", 10, false); apples[0] = _factory.makeAppl(symmies[0]); apples[1] = _factory.makeAppl(symmies[1], apples[0]); apples[2] = _factory.makeAppl(symmies[1], apples[1]); apples[3] = _factory.makeAppl(symmies[1], apples[0]); // apples[4] = factory.makeAppl(symmies[2], new ATerm[] { apples[0], apples[0], apples[1], apples[0], apples[0], apples[1] }); // apples[5] = factory.makeAppl(symmies[3], new ATerm[] { apples[0], apples[1], apples[0], apples[1], apples[0], apples[1], apples[0], apples[1], apples[0], apples[1] }); apples[6] = apples[2].setArgument(apples[0], 0); assertTrue(apples[6].isEqual(apples[1])); assertTrue(apples[1].isEqual(apples[3])); assertTrue(!apples[2].isEqual(apples[1])); assertTrue(!apples[2].isEqual(apples[6])); assertTrue(!apples[1].isEqual(apples[2])); assertTrue(!apples[2].isEqual(apples[3])); assertTrue(!apples[0].isEqual(apples[1])); // System.out.println("pass: testMakeAppl"); }