Package org.eolang
Interface Term
-
- All Known Implementing Classes:
AtAtom
,AtCage
,AtComposite
,AtFree
,AtMemoized
,AtOnce
,AtSafe
,AtSimple
,Data.ToPhi
,Data.Value
,EOas_phi
,EObool
,EObool$EOand
,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$EOdiv
,EOfloat$EOeq
,EOfloat$EOgt
,EOfloat$EOgte
,EOfloat$EOlt
,EOfloat$EOlte
,EOfloat$EOminus
,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$EOdiv
,EOint$EOeq
,EOint$EOgt
,EOint$EOgte
,EOint$EOlt
,EOint$EOlte
,EOint$EOminus
,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$EOis_nan
,EOnegative_infinity$EOdiv$EOis_nan_or_infinite
,EOnegative_infinity$EOdiv$EOis_num_gte_zero
,EOnegative_infinity$EOdiv$EOis_num_gte_zero$EOt1$EOa0
,EOnegative_infinity$EOdiv$EOis_num_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$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$EOt1$EOa0
,EOnegative_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa1
,EOnop
,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$EOt1$EOa0
,EOpositive_infinity$EOdiv$EOis_num_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$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$EOt1$EOa0
,EOpositive_infinity$EOtimes$EOis_num_gt_zero$EOt1$EOa1
,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$EOcase_at
,EOtry
,EOtuple
,EOtuple$EOat
,EOtuple$EOat$EOat_without_checks
,EOtuple$EOempty
,EOtuple$EOempty$EOat
,EOtuple$EOempty$EOwith
,EOtuple$EOlength
,EOtuple$EOwith
,PhConst
,PhCopy
,PhDefault
,PhFake
,PhLocated
,PhLogged
,PhMethod
,PhSafe
,PhTracedEnclosure
,PhWith
public interface Term
A φ-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
-
-