Attr
Term
public final class AtSimple extends Object implements Attr
AtSimple()
AtSimple(Phi src)
copy(Phi self)
Phi
get()
void
put(Phi src)
String
toString()
φTerm()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public AtSimple()
public AtSimple(Phi src)
public String toString()
toString
Object
public String φTerm()
φTerm
public Attr copy(Phi self)
copy
self
public Phi get()
get
public void put(Phi src)
put
src