Tabnine Logo
ATermAppl.setArgument
Code IndexAdd Tabnine to your IDE (free)

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)

origin: Galigator/openllet

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");
}
origin: Galigator/openllet

@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");
}
openllet.atermATermApplsetArgument

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
  • getSystemService (Context)
  • setContentView (Activity)
  • scheduleAtFixedRate (ScheduledExecutorService)
  • Rectangle (java.awt)
    A Rectangle specifies an area in a coordinate space that is enclosed by the Rectangle object's top-
  • InputStream (java.io)
    A readable source of bytes.Most clients will use input streams that read data from the file system (
  • Arrays (java.util)
    This class contains various methods for manipulating arrays (such as sorting and searching). This cl
  • Properties (java.util)
    A Properties object is a Hashtable where the keys and values must be Strings. Each property can have
  • Timer (java.util)
    Timers schedule one-shot or recurring TimerTask for execution. Prefer java.util.concurrent.Scheduled
  • Collectors (java.util.stream)
  • Top plugins for Android Studio
Tabnine Logo
  • Products

    Search for Java codeSearch for JavaScript code
  • IDE Plugins

    IntelliJ IDEAWebStormVisual StudioAndroid StudioEclipseVisual Studio CodePyCharmSublime TextPhpStormVimGoLandRubyMineEmacsJupyter NotebookJupyter LabRiderDataGripAppCode
  • Company

    About UsContact UsCareers
  • Resources

    FAQBlogTabnine AcademyTerms of usePrivacy policyJava Code IndexJavascript Code Index
Get Tabnine for your IDE now