public interface ListTerm extends java.util.List<Term>, Term
Modifier and Type | Method and Description |
---|---|
ListTerm |
append(Term t) |
ListTerm |
cloneLT()
clone the list term
|
ListTerm |
cloneLTShallow()
make a shallow copy of the list (terms are not cloned, only the structure)
|
ListTerm |
concat(ListTerm lt) |
ListTerm |
difference(ListTerm lt) |
java.util.List<Term> |
getAsList() |
ListTerm |
getLast() |
ListTerm |
getNext() |
ListTerm |
getPenultimate() |
VarTerm |
getTail() |
Term |
getTerm() |
ListTerm |
insert(Term t) |
ListTerm |
intersection(ListTerm lt) |
boolean |
isEnd() |
boolean |
isTail() |
java.util.Iterator<ListTerm> |
listTermIterator() |
Term |
removeLast() |
ListTerm |
reverse() |
void |
setNext(Term l) |
void |
setTail(VarTerm v) |
void |
setTerm(Term t) |
java.util.Iterator<java.util.List<Term>> |
subSets(int k)
returns all subsets that take k elements of this list
|
ListTerm |
union(ListTerm lt) |
add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray
capply, clone, countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
void setTerm(Term t)
Term getTerm()
void setNext(Term l)
ListTerm getNext()
boolean isEnd()
boolean isTail()
VarTerm getTail()
void setTail(VarTerm v)
ListTerm getLast()
ListTerm getPenultimate()
Term removeLast()
ListTerm reverse()
java.util.Iterator<java.util.List<Term>> subSets(int k)
java.util.Iterator<ListTerm> listTermIterator()
java.util.List<Term> getAsList()
ListTerm cloneLT()
ListTerm cloneLTShallow()