final static public ATermList makeList(final ATerm singleton) { return factory.makeList(singleton, EMPTY_LIST); }
final static public ATermList makeList(final ATerm singleton) { return factory.makeList(singleton, EMPTY_LIST); }
final static public ATermList makeList(final ATerm first, final ATermList rest) { return factory.makeList(first, rest); }
final static public ATermList makeList(final ATerm first, final ATermList rest) { return factory.makeList(first, rest); }
public static ATermList nnf(final ATermList list) { ATermList newList = factory.makeList(); for (final ATerm term : list) newList = newList.append(nnf((ATermAppl) term)); return newList; }
public static ATermList nnf(final ATermList list) { ATermList newList = factory.makeList(); for (final ATerm term : list) newList = newList.append(nnf((ATermAppl) term)); return newList; }
/** * Filter non-primes * * @param numbers * @return List of primes. */ private ATermList filterNonPrimes(final ATermList listOfnumbers) { ATermList numbers = listOfnumbers; ATermList primes = _factory.makeList(); numbers = numbers.getNext(); while (!numbers.isEmpty()) { final ATermInt prime = (ATermInt) numbers.getFirst(); numbers = filterMultiples(prime.getInt(), numbers); primes = primes.append(prime); } return _factory.makeList(_factory.makeInt(1), primes); }
public void testList() { ATermList list = (ATermList) _factory.parse("[1,2,3]"); ATermList result = list.remove(_factory.parse("2")); test_assert(result.equals(_factory.parse("[1,3]"))); list = (ATermList) _factory.parse("[1,2,3]"); result = list.replace(_factory.parse("99"), 1); test_assert(result.equals(_factory.parse("[1,99,3]"))); list = _factory.makeList(); result = list.append(_factory.parse("1")); test_assert(result.equals(_factory.parse("[1]"))); list = (ATermList) _factory.parse("[]"); result = _factory.makeList(); test_assert(result.equals(list)); // System.out.println("pass: testList"); }
test(result != null && result.get(1).equals(_factory.parse("[2,3]")), "match-6c"); final ATerm empty = _factory.makeList(); result = empty.match("[]");
public void testDict() { ATermList dict = _factory.makeList(); ATerm key, value; for (int i = 0; i < 5; i++) { key = _factory.parse("key" + i); value = _factory.parse("value" + i); dict = dict.dictPut(key, value); } key = _factory.parse("key3"); value = _factory.parse("value3"); test_assert(dict.dictGet(key).equals(value)); }
Ts[0] = (ATermList) T[0]; T[1] = _factory.parse("[]"); Ts[1] = _factory.makeList(); T[2] = _factory.parse("[1,2,3]"); Ts[2] = (ATermList) T[2];