Package EOorg.EOeolang

Class EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1

java.lang.Object

org.eolang.PhDefault

EOorg.EOeolang.EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1

All Implemented Interfaces:

Cloneable, Phi, Term

public final class EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1
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$EOt1$EOa1(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

EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1

public EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1(Phi sigma)