Class

agt.Runtime

Reducer

Related Doc: package Runtime

Permalink

case class Reducer(t: IntrinsicTerm, env: RuntimeEnvironment = new RuntimeEnvironment(), mu: Store = new Store(), fromStep: Int = 0)(implicit substitutionMode: SubstitutionModel = Explicit, o: IOptions = IOptions()) extends BaseReducer[Result] with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, BaseReducer[Result], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Reducer
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. BaseReducer
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Reducer(t: IntrinsicTerm, env: RuntimeEnvironment = new RuntimeEnvironment(), mu: Store = new Store(), fromStep: Int = 0)(implicit substitutionMode: SubstitutionModel = Explicit, o: IOptions = IOptions())

    Permalink

Type Members

  1. case class Done(a: IValue) extends Trampoline with Product with Serializable

    Permalink
  2. case class IError(s1: Frames, mu1: Store, error: IRuntimeException, toBoxExtra: List[Boxeable] = Nil)(implicit substitutionMode: SubstitutionModel) extends Trampoline with Product with Serializable

    Permalink
  3. case class More(a: () ⇒ Trampoline) extends Trampoline with Product with Serializable

    Permalink
  4. case class Step(s1: Frames, mu1: Store, s2: Frames, mu2: Store, a: (Frames) ⇒ Trampoline, toHighlight: List[Highlighteable] = Nil, toBoxExtra: List[Boxeable] = Nil)(implicit substitutionMode: SubstitutionModel) extends Trampoline with Product with Serializable

    Permalink
  5. sealed trait Trampoline extends AnyRef

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. var FV: Map[IVar, Boolean]

    Permalink
  5. def appendLatex(conf: Configuration): Unit

    Permalink
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. var configurations: List[IConfLatex]

    Permalink
  9. var current: Configuration

    Permalink
  10. val env: RuntimeEnvironment

    Permalink
  11. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. val fromStep: Int

    Permalink
  14. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. var latex: List[String]

    Permalink
  17. val mu: Store

    Permalink
  18. var nFV: Int

    Permalink
  19. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. def newFV(t: GType): IVar

    Permalink
  21. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  23. var nstep: Int

    Permalink
  24. def reduce(c: Frames, mu: Store)(implicit substitutionMode: SubstitutionModel): Trampoline

    Permalink
  25. def reduce: Result

    Permalink
    Definition Classes
    ReducerBaseReducer
  26. val stepSize: Int

    Permalink
  27. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  28. val t: IntrinsicTerm

    Permalink
  29. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from BaseReducer[Result]

Inherited from AnyRef

Inherited from Any

Ungrouped