Module aya.base

Package org.aya.tyck.tycker

package org.aya.tyck.tycker
  • Class
    Description
    ConcreteAwareTycker
    This is the 2.5-th base class of a tycker.
    LetListTycker
    This is the third base-base class of a tycker.
    MockTycker
    This is the 2.25-th base class of a tycker.
    PropTycker
    This is the fifth base-base class of a tycker.
    StatedTycker
    This is the second base-base class of a tycker.
    TracedTycker
    This is the base-base class of a tycker.
    TyckState
    Currently we only deal with ambiguous equations (so no 'stuck' equations).
    TyckState.Eqn
     
    UnifiedTycker
    This is the fourth base-base class of a tycker.