Value Members

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

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  lazy val arithop: Strategy

   Definition Classes

   Reduce

5.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

6.  lazy val beta: Strategy

   Beta reduction via term-level substitution.

   Beta reduction via term-level substitution.

   Definition Classes

   ReduceSubst → Reduce

7.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

9.  def equals(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

10.  def eval(exp: Exp): Exp

    Evaluate the given expression by rewriting it with the s strategy.

    Evaluate the given expression by rewriting it with the s strategy.

    Definition Classes

    RewritingEvaluator → Evaluator

11.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

12.  def freshVar(): Idn

    Generate a fresh variable name.

    Generate a fresh variable name. Prefix the name with an underscore to avoid the potential for clashes with user-level variables (which must start with a letter).

    Definition Classes

    Evaluator

13.  val freshVarCounter: Counter

    Counter used to generate fresh names.

    Counter used to generate fresh names.

    Definition Classes

    Evaluator

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

    Definition Classes

    AnyRef → Any

15.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

16.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

17.  lazy val lambda: PlusStrategy

    Reusable strategy for reduction with explicit term-level substitution.

    Reusable strategy for reduction with explicit term-level substitution.

    Definition Classes

    ReduceSubst

18.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

19.  final def notify(): Unit

    Definition Classes

    AnyRef

20.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

21.  def reducesinlambdas: Boolean

    Whether this mechanism evaluates inside lambdas.

    Whether this mechanism evaluates inside lambdas. Used for testing. Default: false.

    Definition Classes

    Evaluator

22.  lazy val s: Strategy

    Evaluate applications, local bindings and operands, then try to reduce the expression itself, repeating until no change.

    Evaluate applications, local bindings and operands, then try to reduce the expression itself, repeating until no change.

    Definition Classes

    EagerSubst → ReduceSubst → Reduce → RewritingEvaluator

23.  lazy val subsApp: Strategy

    Substitution in applications.

    Substitution in applications.

    Definition Classes

    ReduceSubst

24.  lazy val subsLam: Strategy

    Substitution in lambda abstractions.

    Substitution in lambda abstractions.

    Definition Classes

    ReduceSubst

25.  lazy val subsNum: Strategy

    Substitution in numeric terms.

    Substitution in numeric terms.

    Definition Classes

    ReduceSubst

26.  lazy val subsOpn: Strategy

    Substitution in primitive operations

    Substitution in primitive operations

    Definition Classes

    ReduceSubst

27.  lazy val subsVar: Strategy

    Substitution in variable terms.

    Substitution in variable terms.

    Definition Classes

    ReduceSubst

28.  def substitute(x: Idn, e2: Exp, e1: Exp): Exp

    Capture-free substitution of free occurrences of x in e1 with e2.

    Capture-free substitution of free occurrences of x in e1 with e2.

    Definition Classes

    Evaluator

29.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

30.  def toString(): String

    Definition Classes

    AnyRef → Any

31.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )