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$EOget, EOarray$EOis_empty, EOarray$EOlength, EOarray$EOmap, EOarray$EOmap$EOt1$EOa1, EOarray$EOmapi, EOarray$EOreduce, EOas_phi, EObool, EObool$EOand, EObool$EOas_bytes, EObool$EOeq, EObool$EOif, EObool$EOnot, EObool$EOor, EObool$EOwhile, EObytes, EObytes$EOand, EObytes$EOas_bytes, EObytes$EOas_char, EObytes$EOas_float, EObytes$EOas_int, EObytes$EOas_string, EObytes$EOeq, EObytes$EOleft, EObytes$EOnot, EObytes$EOor, EObytes$EOpart, EObytes$EOright, EObytes$EOsize, EObytes$EOxor, EOcage, EOchar, EOchar$EOas_bytes, EOchar$EOas_string, EOchar$EOeq, EOerror, EOfloat, EOfloat$EOabs, EOfloat$EOadd, EOfloat$EOas_bytes, 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, EOheap, EOheap$EOfree, EOheap$EOmalloc, EOheap$EOpointer, EOheap$EOpointer$EOblock, EOint, EOint$EOabs, EOint$EOadd, EOint$EOas_bytes, 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, EOram, EOram$EOread, EOram$EOwrite, 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, EOtry, PhConst, PhCopy, PhDefault, PhMethod, PhUnvar, 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