Package EOorg.EOeolang

Class EOnegative_infinity$EOtimes$EOis_num_gt_zero

java.lang.Object

org.eolang.PhDefault

EOorg.EOeolang.EOnegative_infinity$EOtimes$EOis_num_gt_zero

All Implemented Interfaces:

Cloneable, Data, Phi, Term

public final class EOnegative_infinity$EOtimes$EOis_num_gt_zero
extends PhDefault

Nested Class Summary

Nested classes/interfaces inherited from interface org.eolang.Data

Data.ToPhi

Field Summary

Fields inherited from class org.eolang.PhDefault

vertex, VTX

Fields inherited from interface org.eolang.Phi

Φ

Fields inherited from interface org.eolang.Term

EMPTY

Constructor Summary

Constructors

Constructor	Description
EOnegative_infinity$EOtimes$EOis_num_gt_zero(Phi sigma)

Method Summary

Methods inherited from class org.eolang.PhDefault

add, attach, cleanUp, copy, delta, equals, forma, hashCode, locator, put, put, take, toString, φTerm

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

EOnegative_infinity$EOtimes$EOis_num_gt_zero

public EOnegative_infinity$EOtimes$EOis_num_gt_zero(Phi sigma)