Cloneable
Atom
Phi
Term
public final class EOas_phi extends PhDefault implements Atom
vertex, VTX
Φ
EOas_phi(Phi sigma)
lambda()
add, attr, attr, cleanUp, copy, equals, forma, hashCode, locator, toString, φTerm
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public EOas_phi(Phi sigma)
sigma
public Phi lambda()
lambda