Modifier | Constructor and Description |
---|---|
|
Cons(String name,
H head) |
protected |
Cons(String name,
List<Term<?>> termList) |
|
Cons(String name,
Term<?>[] termArr) |
Modifier and Type | Method and Description |
---|---|
<Z extends Term<?>,R2 extends Cons<Z,? extends Compound<?>>> |
append(Z z) |
int |
arity() |
H |
getHead() |
String |
getName() |
R |
getRest() |
Iterator<Term<?>> |
iterator() |
static <Z extends Cons<?,?>> |
make(String f,
Term<?>[] termList) |
Struct |
marshal() |
<Z> Z |
toJava() |
String |
toString() |