Class EOnegative_infinity$EOplus$EOplus_rec

  • All Implemented Interfaces:
    Cloneable, Phi, Term

    public final class EOnegative_infinity$EOplus$EOplus_rec
    extends PhDefault
    • Constructor Detail

      • EOnegative_infinity$EOplus$EOplus_rec

        public EOnegative_infinity$EOplus$EOplus_rec​(Phi sigma)