Package org.eolang
Interface Term
-
- All Known Implementing Classes:
AtComposite,AtFree,AtMemoized,AtOnce,AtSimple,AtVararg,Data.ToPhi,Data.Value,EOangle,EOangle$EOcos,EOangle$EOsin,EOarray,EOarray$EOat,EOarray$EOconcat,EOarray$EOlength,EOarray$EOwith,EOas_phi,EObool,EObool$EOand,EObool$EOas_bytes,EObool$EOas_hash,EObool$EOeq,EObool$EOif,EObool$EOnot,EObool$EOor,EObool$EOwhile,EObytes,EObytes$EOand,EObytes$EOas_bool,EObytes$EOas_bytes,EObytes$EOas_float,EObytes$EOas_hash,EObytes$EOas_int,EObytes$EOas_string,EObytes$EOconcat,EObytes$EOeq,EObytes$EOleft,EObytes$EOnot,EObytes$EOor,EObytes$EOright,EObytes$EOsize,EObytes$EOslice,EObytes$EOxor,EOcage,EOerror,EOerror.PhWithError,EOfloat,EOfloat$EOas_bytes,EOfloat$EOdiv,EOfloat$EOeq,EOfloat$EOgt,EOfloat$EOgte,EOfloat$EOlt,EOfloat$EOlte,EOfloat$EOminus,EOfloat$EOminus$EOt1$EOt0$EOa1,EOfloat$EOneg,EOfloat$EOplus,EOfloat$EOtimes,EOgoto,EOheap,EOheap$EOfree,EOheap$EOmalloc,EOheap$EOpointer,EOheap$EOpointer$EOadd,EOheap$EOpointer$EOblock,EOheap$EOpointer$EOsub,EOint,EOint$EOas_bytes,EOint$EOdiv,EOint$EOeq,EOint$EOgt,EOint$EOgte,EOint$EOlt,EOint$EOlte,EOint$EOminus,EOint$EOminus$EOt1$EOt0$EOa1,EOint$EOneg,EOint$EOplus,EOint$EOtimes,EOlist,EOlist$EOas_array,EOlist$EOeach,EOlist$EOeq,EOlist$EOeq$EOt1$EOt1$EOa2,EOlist$EOis_empty,EOlist$EOmap,EOlist$EOmap$EOt1$EOa1,EOlist$EOmapi,EOlist$EOmapi$EOt1$EOt0$EOa2,EOlist$EOreduce,EOlist$EOreduce$EOt2$EOa2,EOlist$EOreducei,EOlist$EOreducei$EOt4$EOt2$EOa1,EOlist$EOwithout,EOlist$EOwithout$EOt1$EOa2,EOmap,EOmap$EOfound,EOmap$EOsize,EOmap$EOwith,EOmap$EOwithout,EOmemory,EOmultimap,EOmultimap$EOconcat_all_arrays,EOmultimap$EOconcat_all_arrays$EOt1$EOa2,EOmultimap$EOfind_in_list,EOmultimap$EOfind_in_list$EOt2$EOa2,EOmultimap$EOfound,EOmultimap$EOpairs_to_hash,EOmultimap$EOpairs_to_hash$EOt1$EOa2,EOmultimap$EOrebuild,EOmultimap$EOsize,EOmultimap$EOwith,EOmultimap$EOwithout,EOmultimap$EOwithout_in_list,EOmultimap$EOwithout_in_list$EOt2$EOa2,EOnop,EOnumber,EOnumber$EOabs,EOnumber$EOand,EOnumber$EOand$EOt1$EOa2,EOnumber$EOas_float,EOnumber$EOas_int,EOnumber$EOas_string,EOnumber$EOis_float,EOnumber$EOis_int,EOnumber$EOleft,EOnumber$EOleft$EOt1$EOa2,EOnumber$EOmod,EOnumber$EOmod$EOabs_mod,EOnumber$EOmod$EOt3$EOa1,EOnumber$EOneq,EOnumber$EOor,EOnumber$EOor$EOt1$EOa2,EOnumber$EOpow,EOnumber$EOright,EOnumber$EOright$EOt1$EOa2,EOnumber$EOsignum,EOnumber$EOxor,EOnumber$EOxor$EOt1$EOa2,EOram,EOram$EOread,EOram$EOwrite,EOrandom,EOrandom$EOpseudo,EOrandom$EOt2$EOa0,EOregex,EOregex$EOcompile,EOregex$EOmatch,EOregex$EOmatches,EOseq,EOsprintf,EOsscanf,EOstdin,EOstdin$EOnext_line,EOstdin$EOφ,EOstdout,EOstring,EOstring$EOas_bytes,EOstring$EOas_hash,EOstring$EOeq,EOstring$EOlength,EOstring$EOslice,EOswitch,EOswitch$EOarr,EOswitch$EOarr$EOt0$EOa2,EOswitch$EOt1$EOa2,EOtext,EOtext$EOjoined,EOtext$EOtrim,EOtry,PhConst,PhCopy,PhDefault,PhLocated,PhLogged,PhMethod,PhUnvar,PhWith
public interface TermA φ-calculus term.- Since:
- 0.17
-
-
Method Summary
All Methods Instance Methods Abstract Methods 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
-
-