Attr
Term
public abstract class AtAtom extends Object implements Attr
DELTA, LAMBDA, PHI
AtAtom(Phi phi)
copy(Phi self)
Phi
get()
void
put(Phi phi)
String
toString()
φTerm()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public AtAtom(Phi phi)
phi
public Attr copy(Phi self)
copy
self
public String φTerm()
φTerm
public String toString()
toString
Object
public Phi get()
get
public void put(Phi phi)
put