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