模块 aya.base
程序包 org.aya.terck

接口 Relation

所有超级接口:
org.aya.pretty.doc.Docile, Selector.Candidate<Relation>
所有已知实现类:
Relation.Decrease, Relation.Unknown
public sealed interface Relation extends org.aya.pretty.doc.Docile, Selector.Candidate<Relation> permits Relation.Unknown, Relation.Decrease
Relations between size of formal function parameter and function argument in one recursive call. A semi-ring with zero = unk(), one = eq().

  • 方法详细资料

    • toDoc

      @NotNull default @NotNull org.aya.pretty.doc.Doc toDoc()
      指定者:
      toDoc 在接口中 org.aya.pretty.doc.Docile

    • mul

      @Contract(pure=true) @NotNull default @NotNull Relation mul(@NotNull @NotNull Relation rhs)

    • add

      @Contract(pure=true) @NotNull default @NotNull Relation add(@NotNull @NotNull Relation rhs)
      返回:
      the side that decreases more

    • compare

      @NotNull default Selector.DecrOrd compare(@NotNull @NotNull Relation other)
      Compare two relations by their decrease amount.
      指定者:
      compare 在接口中 Selector.Candidate<Relation>
      返回:
      Selector.DecrOrd.Lt if this decreases less than the other, Selector.DecrOrd.Gt if this decreases more.

    • isUnknown

      default boolean isUnknown()

    • isDecreasing

      default boolean isDecreasing()

    • fromCompare

      @NotNull static @NotNull Relation fromCompare(int compare)

    • decr

      @NotNull static @NotNull Relation decr(boolean usable, int size)

    • eq

      @NotNull static @NotNull Relation eq()

    • lt

      @NotNull static @NotNull Relation lt()

    • unk

      @NotNull static @NotNull Relation unk()