public class Var<X extends Term<?>> extends Term<X>
Var(String name)
String
getName()
X
getValue()
Var
marshal()
<Z> Z
toJava()
toString()
fromJava, unmarshal
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public Var(String name)
public <Z> Z toJava()
toJava
Term<X extends Term<?>>
public X getValue()
public Var marshal()
marshal
public String getName()
public String toString()
toString
Object