InnermostSubst

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. object FreshVar

   Generate a fresh variable name.

7. lazy val arithop: rewriting.Rewriter.Strategy

   Definition Classes

   Reduce

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. lazy val beta: rewriting.Rewriter.Strategy

   Beta reduction via term-level substitution.

   Beta reduction via term-level substitution.

   Definition Classes

   ReduceSubst → Reduce

10. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

12. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

13. def eval(exp: Exp): Exp

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

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

    Definition Classes

    RewritingEvaluator → Evaluator

14. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

15. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

16. def hashCode(): Int

    Definition Classes

    AnyRef → Any

17. def innermost(s: ⇒ rewriting.Rewriter.Strategy): rewriting.Rewriter.Strategy

    Version of innermost library strategy that memoises.

18. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

19. lazy val lambda: rewriting.Rewriter.PlusStrategy

    Reusable strategy for reduction with explicit term-level substitution.

    Reusable strategy for reduction with explicit term-level substitution.

    Definition Classes

    ReduceSubst

20. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

21. final def notify(): Unit

    Definition Classes

    AnyRef

22. final def notifyAll(): Unit

    Definition Classes

    AnyRef

23. def reducesinlambdas: Boolean

    Whether this mechanism evaluates inside lambdas.

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

    Definition Classes

    Evaluator

24. lazy val s: rewriting.Rewriter.Strategy

    Evaluate expressions starting with the innermost sub-expressions.

    Evaluate expressions starting with the innermost sub-expressions.

    Definition Classes

    InnermostSubst → ReduceSubst → Reduce → RewritingEvaluator

25. lazy val subsApp: rewriting.Rewriter.Strategy

    Substitution in applications.

    Substitution in applications.

    Definition Classes

    ReduceSubst

26. lazy val subsLam: rewriting.Rewriter.Strategy

    Substitution in lambda abstractions.

    Substitution in lambda abstractions.

    Definition Classes

    ReduceSubst

27. lazy val subsNum: rewriting.Rewriter.Strategy

    Substitution in numeric terms.

    Substitution in numeric terms.

    Definition Classes

    ReduceSubst

28. lazy val subsOpn: rewriting.Rewriter.Strategy

    Substitution in primitive operations

    Substitution in primitive operations

    Definition Classes

    ReduceSubst

29. lazy val subsVar: rewriting.Rewriter.Strategy

    Substitution in variable terms.

    Substitution in variable terms.

    Definition Classes

    ReduceSubst

30. 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

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

    Definition Classes

    AnyRef

32. def toString(): String

    Definition Classes

    AnyRef → Any

33. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()

35. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()