How to use
setArgument
method
in
openllet.aterm.ATermAppl

Best Java code snippets using openllet.aterm.ATermAppl.setArgument (Showing top 2 results out of 315)

Add the Codota plugin to your IDE and get smart completions

private void myMethod () {
 StringBuilder s =String str;new StringBuilder(str)
Smart code suggestions by Tabnine
}

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

Javadoc

Sets a specific argument of this application.

Popular methods of ATermAppl

getArgument
getName
getAFun
getArity
getArgumentArray
Gets the arguments of this application as an array of ATerm objects.
getChildAt
getArguments
Gets the arguments of this application.
getType
isEqual
isQuoted
Checks if this application is quoted. A quoted application looks like this: "foo", whereas an unquot

Popular in Java

Running tasks concurrently on multiple threads
setRequestProperty (URLConnection)
orElseThrow (Optional)
Return the contained value, if present, otherwise throw an exception to be created by the provided s
scheduleAtFixedRate (ScheduledExecutorService)
System (java.lang)
Provides access to system-related information and resources including standard input and output. Ena
BigInteger (java.math)
An immutable arbitrary-precision signed integer.FAST CRYPTOGRAPHY This implementation is efficient f
ResultSet (java.sql)
An interface for an object which represents a database table entry, returned as the result of the qu
Timestamp (java.sql)
A Java representation of the SQL TIMESTAMP type. It provides the capability of representing the SQL
Iterator (java.util)
An iterator over a sequence of objects, such as a collection.If a collection has been changed since
Join (org.hibernate.mapping)
Top 12 Jupyter Notebook Extensions

How to use setArgumentmethodin openllet.aterm.ATermAppl

Best Java code snippets using openllet.aterm.ATermAppl.setArgument (Showing top 2 results out of 315)

How to use
setArgument
method
in
openllet.aterm.ATermAppl