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