Attr
Term
public final class AtFree extends Object implements Attr
AtFree()
AtFree(Attr attr)
AtFree(Attr attr, boolean used)
AtFree(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 AtFree()
public AtFree(Phi phi)
public AtFree(Attr attr)
public AtFree(Attr attr, boolean used)
public String toString()
toString
Object
public String φTerm()
φTerm
public Attr copy(Phi self)
copy
self
public Phi get()
get
public void put(Phi phi)
put
phi