EOpositive_infinity$EOtimes$EOis_term_gt_zero (eo-runtime 0.29.2 API)

java.lang.Object
- org.eolang.PhDefault
- - EOorg.EOeolang.EOpositive_infinity$EOtimes$EOis_term_gt_zero

All Implemented Interfaces:: Cloneable, Phi, Term

public final class EOpositive_infinity$EOtimes$EOis_term_gt_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
  
  EOpositive_infinity$EOtimes$EOis_term_gt_zero(Phi sigma)
- Method Summary
  - Methods inherited from class org.eolang.PhDefault
    add, attr, attr, copy, equals, hashCode, locator, toString, φTerm
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

EOpositive_infinity$EOtimes$EOis_term_gt_zero

public EOpositive_infinity$EOtimes$EOis_term_gt_zero(Phi sigma)