How to use

setArgument

method

in

openllet.aterm.ATermAppl

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");
}