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]); test_assert(_factory.makeAppl(symmies[0]) == apples[0]); apples[1] = _factory.makeAppl(symmies[1], apples[0]); test_assert(_factory.makeAppl(symmies[1], apples[0]) == apples[1]); // apples[2] = factory.makeAppl(symmies[1], apples[1]); // apples[3] = factory.makeAppl(symmies[1], apples[0]); // apples[4] = factory.makeAppl(symmies[2], apples[0], apples[0], apples[1], apples[0], apples[0], apples[1]); // final ATerm[] args = { apples[0], apples[1], apples[0], apples[1], apples[0], apples[1], apples[0], apples[1], apples[0], apples[1] }; // apples[5] = factory.makeAppl(symmies[3], args); apples[6] = apples[2].setArgument(apples[0], 0); test_assert(apples[6].equals(apples[1])); // test_assert(apples[1].equals(apples[3])); // test_assert(!apples[2].equals(apples[1])); // test_assert(!apples[2].equals(apples[6])); // test_assert(!apples[1].equals(apples[2])); // test_assert(!apples[2].equals(apples[3])); test_assert(!apples[0].equals(apples[1])); System.out.println("pass: TestMakeAppl"); }
@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"); }