Package org.eolang

Interface Term

All Known Subinterfaces:

Attr, Phi

All Known Implementing Classes:

AtCage, AtComposite, AtFree, AtMemoized, AtOnce, AtSafe, AtSimple, AtVararg, Data.ToPhi, Data.Value, EOas_phi, EObool, EObool$EOand, EObool$EOas_bytes, EObool$EOeq, EObool$EOif, EObool$EOnot, EObool$EOor, EObool$EOwhile, EObytes, EObytes$EOand, EObytes$EOas_bool, EObytes$EOas_bytes, EObytes$EOas_float, 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, EOcti, EOerror, EOfloat, EOfloat$EOas_bytes, EOfloat$EOdiv, EOfloat$EOeq, EOfloat$EOgt, EOfloat$EOgte, EOfloat$EOlt, EOfloat$EOlte, EOfloat$EOminus, EOfloat$EOminus$EOrec_terms, EOfloat$EOminus$EOrec_terms$EOt3$EOt2$EOt0$EOt1$EOgenerated_scope_61dfb581_8d97_4972_864e_54141a65c262, 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$EOrec_terms, EOint$EOminus$EOrec_terms$EOt3$EOt2$EOt0$EOt1$EOgenerated_scope_f193f97d_537f_4bdf_9414_76e837e1064e, EOint$EOneg, EOint$EOplus, EOint$EOtimes, EOmemory, EOnan, EOnan$EOdiv, EOnan$EOeq, EOnan$EOgt, EOnan$EOgte, EOnan$EOlt, EOnan$EOlte, EOnan$EOminus, EOnan$EOneg, EOnan$EOplus, EOnan$EOtimes, EOnegative_infinity, EOnegative_infinity$EOdiv, EOnegative_infinity$EOdiv$EOdiv_rec, EOnegative_infinity$EOdiv$EOis_nan, EOnegative_infinity$EOdiv$EOis_nan_or_infinite, EOnegative_infinity$EOdiv$EOis_term_gte_zero, EOnegative_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa0, EOnegative_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa1, EOnegative_infinity$EOeq, EOnegative_infinity$EOgt, EOnegative_infinity$EOgte, EOnegative_infinity$EOlt, EOnegative_infinity$EOlte, EOnegative_infinity$EOminus, EOnegative_infinity$EOminus$EOis_nan, EOnegative_infinity$EOminus$EOis_nan_or_neg_inf, EOnegative_infinity$EOminus$EOminus_rec, EOnegative_infinity$EOplus, EOnegative_infinity$EOplus$EOis_nan, EOnegative_infinity$EOplus$EOis_nan_or_pos_inf, EOnegative_infinity$EOplus$EOplus_rec, EOnegative_infinity$EOtimes, EOnegative_infinity$EOtimes$EOis_nan, EOnegative_infinity$EOtimes$EOis_nan_or_zero, EOnegative_infinity$EOtimes$EOis_term_gt_zero, EOnegative_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa0, EOnegative_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1, EOnegative_infinity$EOtimes$EOtimes_rec, EOnop, EOpositive_infinity, EOpositive_infinity$EOdiv, EOpositive_infinity$EOdiv$EOdiv_rec, EOpositive_infinity$EOdiv$EOis_nan, EOpositive_infinity$EOdiv$EOis_nan_or_infinite, EOpositive_infinity$EOdiv$EOis_term_gte_zero, EOpositive_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa0, EOpositive_infinity$EOdiv$EOis_term_gte_zero$EOt1$EOa1, EOpositive_infinity$EOeq, EOpositive_infinity$EOgt, EOpositive_infinity$EOgte, EOpositive_infinity$EOlt, EOpositive_infinity$EOlte, EOpositive_infinity$EOminus, EOpositive_infinity$EOminus$EOis_nan, EOpositive_infinity$EOminus$EOis_nan_or_pos_inf, EOpositive_infinity$EOminus$EOminus_rec, EOpositive_infinity$EOplus, EOpositive_infinity$EOplus$EOis_nan, EOpositive_infinity$EOplus$EOis_nan_or_neg_inf, EOpositive_infinity$EOplus$EOplus_rec, EOpositive_infinity$EOtimes, EOpositive_infinity$EOtimes$EOis_nan, EOpositive_infinity$EOtimes$EOis_nan_or_zero, EOpositive_infinity$EOtimes$EOis_term_gt_zero, EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa0, EOpositive_infinity$EOtimes$EOis_term_gt_zero$EOt1$EOa1, EOpositive_infinity$EOtimes$EOtimes_rec, EOram, EOram$EOram_slice, EOram$EOram_slice$EOwrite, EOram$EOram_slice$EOφ, EOram$EOslice, EOram$EOwrite, EOrust, EOseq, EOstdin, EOstdin$EOnext_line, EOstdin$EOφ, EOstdout, EOstring, EOstring$EOas_bytes, EOstring$EOeq, EOstring$EOlength, EOstring$EOslice, EOswitch, EOswitch$EOcheck_case_at, EOswitch$EOcheck_case_at$EOt2$EOt2$EOt0$EOgenerated_scope_2fa1780c_c271_40df_97d6_de2c5965c7e6, EOswitch$EOcheck_case_at$EOt2$EOt2$EOt1$EOgenerated_scope_b7a88453_14f8_4c05_8845_1d66d4ec5be9, EOtry, EOtuple, EOtuple$EOat, EOtuple$EOlength, EOtuple$EOwith, PhConst, PhCopy, PhDefault, PhFake, PhLocated, PhLogged, PhMethod, PhSafe, 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