public class ListTermValue
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Term<?> |
head |
private java.util.List<Term<?>> |
list |
private Term<?> |
tail |
Constructor and Description |
---|
ListTermValue() |
ListTermValue(java.util.Collection<? extends Term<?>> terms) |
ListTermValue(ListTermValue other) |
ListTermValue(Term<?> head,
Term<?> tail) |
Modifier and Type | Method and Description |
---|---|
ListTermValue |
clone() |
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
Term<?> |
head() |
java.util.List<Term<?>> |
list() |
Term<?> |
tail() |
java.lang.String |
toString() |
boolean |
usesHeadTailSyntax() |
private Term<?> head
private Term<?> tail
private java.util.List<Term<?>> list
public ListTermValue()
public ListTermValue(ListTermValue other)
public ListTermValue(java.util.Collection<? extends Term<?>> terms)
public Term<?> head()
public Term<?> tail()
public java.util.List<Term<?>> list()
public boolean usesHeadTailSyntax()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public ListTermValue clone()
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object