Package org.eolang

Interface Term

All Known Subinterfaces:

Attr, Phi

All Known Implementing Classes:

AtComposite, AtFree, AtOnce, AtSimple, AtVararg, Data.ToPhi, Data.Value, EOarray, EOarray$EOappend, EOarray$EOeach, EOarray$EOempty, EOarray$EOget, EOarray$EOlength, EOarray$EOmap, EOarray$EOmap$EO1$EO_1, EOarray$EOmapi, EOarray$EOreduce, EObool, EObool$EOand, EObool$EOeq, EObool$EOif, EObool$EOnot, EObool$EOor, EObool$EOwhile, EObytes, EObytes$EOas_string, EObytes$EOeq, EObytes$EOpart, EObytes$EOsize, EOcage, EOchar, EOchar$EOas_string, EOchar$EOeq, EOerror, EOfloat, EOfloat$EOabs, EOfloat$EOadd, EOfloat$EOas_int, EOfloat$EOas_string, EOfloat$EOdiv, EOfloat$EOeq, EOfloat$EOgeq, EOfloat$EOgreater, EOfloat$EOleq, EOfloat$EOless, EOfloat$EOmul, EOfloat$EOneg, EOfloat$EOneq, EOfloat$EOpow, EOfloat$EOsignum, EOfloat$EOsub, EOgoto, EOint, EOint$EOabs, EOint$EOadd, EOint$EOas_float, EOint$EOas_string, EOint$EOdiv, EOint$EOeq, EOint$EOgeq, EOint$EOgreater, EOint$EOleq, EOint$EOless, EOint$EOmod, EOint$EOmul, EOint$EOneg, EOint$EOneq, EOint$EOpow, EOint$EOsub, EOmemory, EOrandom, EOregex, EOregex$EOmatch, EOregex$EOmatches, EOseq, EOsprintf, EOstdout, EOstring, EOstring$EOas_bytes, EOstring$EOas_float, EOstring$EOas_int, EOstring$EOchar_at, EOstring$EOeq, EOstring$EOjoined, EOstring$EOlength, EOstring$EOtrim, PhConst, PhCopy, PhDefault, PhMethod, PhWith

public interface Term

A φ-calculus term.

Since:

0.17

Method Summary

Modifier and Type	Method	Description
String	φTerm()	To φ-calculus term, as text.

Method Detail

φTerm

String φTerm()

To φ-calculus term, as text.

Returns:

The expression in φ-calculus