EOnegative_infinity$EOdiv$EOis_term_gte_zero (eo-runtime 0.31.0 API)

java.lang.Object
- org.eolang.PhDefault
- - EOorg.EOeolang.EOnegative_infinity$EOdiv$EOis_term_gte_zero

All Implemented Interfaces:: Cloneable, Phi, Term

public final class EOnegative_infinity$EOdiv$EOis_term_gte_zero
extends PhDefault

- Field Summary
  - Fields inherited from class org.eolang.PhDefault
    vertex, VTX
  - Fields inherited from interface org.eolang.Phi
    Φ
- Constructor Summary
  
  Constructors
  Constructor Description
  
  EOnegative_infinity$EOdiv$EOis_term_gte_zero(Phi sigma)
- Method Summary
  - Methods inherited from class org.eolang.PhDefault
    add, attr, attr, cleanUp, copy, equals, forma, hashCode, locator, toString, φTerm
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

EOnegative_infinity$EOdiv$EOis_term_gte_zero

public EOnegative_infinity$EOdiv$EOis_term_gte_zero(Phi sigma)