Package org.eolang

Interface Term

All Known Subinterfaces:

Attr, Phi

All Known Implementing Classes:

AtComposite, AtEnvelope, AtFormed, AtOnce, AtSimple, AtVoid, Data.ToPhi, EOas_phi, EObytes, EObytes$EOand, EObytes$EOas_bool, 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, EOcage$EOencaged, EOcage$EOencaged$EOencage, EOcage$EOencaged$EOφ, EOcage$EOφ, EOcti, EOdataized, EOerror, EOfalse, EOfalse$EOand, EOfalse$EOif, EOfalse$EOor, EOfloat, EOfloat$EOdiv, EOfloat$EOeq, EOfloat$EOgt, EOfloat$EOgte, EOfloat$EOlt, EOfloat$EOlte, EOfloat$EOminus, EOfloat$EOneg, EOfloat$EOplus, EOfloat$EOtimes, EOgo, EOgo$EOt0$EOt0$EOt0$EOa2, EOgo$EOto, EOgo$EOto$EOauto_named_attr_at_64_9, EOgo$EOto$EOtoken, EOgo$EOto$EOtoken$EOforward, EOgo$EOto$EOtoken$EOjump, EOint, EOint$EOdiv, EOint$EOeq, EOint$EOgt, EOint$EOgte, EOint$EOlt, EOint$EOlte, EOint$EOminus, EOint$EOneg, EOint$EOplus, EOint$EOtimes, EOmalloc, EOmalloc$EOfor, EOmalloc$EOfor$EOauto_named_attr_at_89_9, EOmalloc$EOof, EOmalloc$EOof$EOallocated, EOmalloc$EOof$EOallocated$EOget, EOmalloc$EOof$EOallocated$EOput, EOmalloc$EOof$EOallocated$EOread, EOmalloc$EOof$EOallocated$EOwrite, EOmalloc$EOof$EOφ, 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$EOis_nan, EOnegative_infinity$EOdiv$EOis_nan_or_infinite, EOnegative_infinity$EOdiv$EOis_num_gte_zero, EOnegative_infinity$EOdiv$EOis_num_gte_zero$EOauto_named_attr_at_136_27, 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$EOplus, EOnegative_infinity$EOplus$EOis_nan, EOnegative_infinity$EOtimes, EOnegative_infinity$EOtimes$EOis_nan, EOnegative_infinity$EOtimes$EOis_nan_or_zero, EOnegative_infinity$EOtimes$EOis_num_gt_zero, EOnegative_infinity$EOtimes$EOis_num_gt_zero$EOauto_named_attr_at_69_26, EOpositive_infinity, EOpositive_infinity$EOdiv, EOpositive_infinity$EOdiv$EOis_nan, EOpositive_infinity$EOdiv$EOis_nan_or_infinite, EOpositive_infinity$EOdiv$EOis_num_gte_zero, EOpositive_infinity$EOdiv$EOis_num_gte_zero$EOauto_named_attr_at_136_27, 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$EOplus, EOpositive_infinity$EOplus$EOis_nan, EOpositive_infinity$EOtimes, EOpositive_infinity$EOtimes$EOis_nan, EOpositive_infinity$EOtimes$EOis_nan_or_zero, EOpositive_infinity$EOtimes$EOis_num_gt_zero, EOpositive_infinity$EOtimes$EOis_num_gt_zero$EOauto_named_attr_at_81_26, EOrust, EOseq, EOstdin, EOstdin$EOnext_line, EOstdin$EOφ, EOstdout, EOstring, EOstring$EOas_bytes, EOstring$EOeq, EOstring$EOlength, EOstring$EOslice, EOswitch, EOswitch$EOcase_at, EOtrue, EOtrue$EOand, EOtrue$EOif, EOtrue$EOor, EOtry, EOtuple, EOtuple$EOat, EOtuple$EOat$EOat_fast, EOtuple$EOempty, EOtuple$EOempty$EOat, EOtuple$EOempty$EOwith, EOtuple$EOlength, EOtuple$EOwith, EOwhile, EOwhile$EOloop, PhCopy, PhData, PhDefault, PhFake, PhLocated, PhLogged, PhMethod, PhSafe, PhTraced, PhWith, PhWrite

public interface Term

A φ-calculus term.

Since:

0.17

Field Summary

Fields

Modifier and Type	Field	Description
static String	EMPTY	Empty term.

Method Summary

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

Field Detail

EMPTY

static final String EMPTY

Empty term.

See Also:

Constant Field Values

Method Detail

φTerm

String φTerm()

To φ-calculus term, as text.

Returns:

The expression in φ-calculus