public class ListTerm extends TermAdapter<ListTermValue>
value
Constructor and Description |
---|
ListTerm() |
ListTerm(ListTerm other) |
ListTerm(ListTermValue value) |
ListTerm(Term<?> head,
Term<?> tail)
constructor for list elements with given [head|tail].
|
Modifier and Type | Method and Description |
---|---|
ListTerm |
clone()
Creates a deep copy of the term
|
protected java.lang.String |
listPrint(java.util.Collection<Term<?>> tl) |
containsTermsOfType, equals, get, getSort, getTerms, getTerms, hashCode, set, substitute, toString
public ListTerm()
public ListTerm(ListTerm other)
public ListTerm(ListTermValue value)
public ListTerm clone()
Term
clone
in interface Term<ListTermValue>
clone
in class TermAdapter<ListTermValue>
protected java.lang.String listPrint(java.util.Collection<Term<?>> tl)