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

类 Tycker

java.lang.Object
org.aya.tyck.Tycker
直接已知子类:
ExprTycker
public abstract class Tycker extends Object

  • 字段详细资料

    • reporter

      @NotNull public final @NotNull org.aya.util.reporter.Reporter reporter

    • state

      @NotNull public final @NotNull TyckState state

  • 构造器详细资料

    • Tycker

      protected Tycker(@NotNull @NotNull org.aya.util.reporter.Reporter reporter, @NotNull @NotNull TyckState state)

  • 方法详细资料

    • zonk

      @NotNull public @NotNull Term zonk(@NotNull @NotNull Term term)