Cloneable
Phi
Term
public class EOseq extends PhDefault
Φ
EOseq(Phi sigma)
add, attr, attr, copy, copy, toString, φTerm
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public EOseq(Phi sigma)