Package EOorg.EOeolang.EOtxt

Class EOtext$EOindex_of

java.lang.Object

org.eolang.PhDefault

EOorg.EOeolang.EOtxt.EOtext$EOindex_of

All Implemented Interfaces:

Cloneable, Phi, Term

public class EOtext$EOindex_of
extends PhDefault

INDEX_OF.

Since:

1.0

Field Summary

Fields inherited from class org.eolang.PhDefault

vertex, VTX

Fields inherited from interface org.eolang.Phi

Φ

Constructor Summary

Constructors

Constructor	Description
EOtext$EOindex_of(Phi sigma)	Ctor.

Method Summary

Methods inherited from class org.eolang.PhDefault

add, attr, attr, copy, equals, hashCode, location, move, toString, φTerm

Methods inherited from class java.lang.Object

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

Constructor Detail

EOtext$EOindex_of

public EOtext$EOindex_of(Phi sigma)

Ctor.

Parameters:

sigma - Sigma