Modifier | Constructor and Description |
---|---|
|
Cons(java.lang.String name,
H head) |
protected |
Cons(java.lang.String name,
java.util.List<Term<?>> termList) |
|
Cons(java.lang.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() |
java.lang.String |
getName() |
R |
getRest() |
java.util.Iterator<Term<?>> |
iterator() |
static <Z extends Cons<?,?>> |
make(java.lang.String f,
Term<?>[] termList) |
Struct |
marshal() |
<Z> Z |
toJava() |
java.lang.String |
toString() |
public Cons(java.lang.String name, H head)
protected Cons(java.lang.String name, java.util.List<Term<?>> termList)
public Cons(java.lang.String name, Term<?>[] termArr)
public java.util.Iterator<Term<?>> iterator()
iterator
in interface java.lang.Iterable<Term<?>>
public H getHead()
public R getRest()
public java.lang.String getName()
public int arity()
public java.lang.String toString()
toString
in class java.lang.Object
public <Z> Z toJava()