ParLazyUpdateEvaluator

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

   Par → 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. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Par → ReduceSubst

19. def letAppL(eval: ⇒ rewriting.Rewriter.Strategy): rewriting.Rewriter.Strategy

    Apply substitutions lazily in an application, maintaining the environment.

    Apply substitutions lazily in an application, maintaining the environment.

    Definition Classes

    ParLazy

20. lazy val letDrop: rewriting.Rewriter.Strategy

    Drop the bindings.

    Drop the bindings.

    Definition Classes

    ParLazy

21. lazy val letLet: rewriting.Rewriter.Strategy

    Merging two arbitrary parallel binders.

    Merging two arbitrary parallel binders.

    Definition Classes

    Par

22. lazy val letLetRen: rewriting.Rewriter.Strategy

    Rename variables bound in an inner let (corresponds to heap allocation for these values).

    Rename variables bound in an inner let (corresponds to heap allocation for these values).

    Definition Classes

    ParLazy

23. lazy val letLift: rewriting.Rewriter.Strategy

    Lift an expression to be evaluated to a substitution.

    Lift an expression to be evaluated to a substitution.

    Definition Classes

    ParLazy

24. def letOpn(eval: ⇒ rewriting.Rewriter.Strategy): rewriting.Rewriter.Strategy

    Apply substitutions strictly in an operator evaluation, maintaining the environment.

    Apply substitutions strictly in an operator evaluation, maintaining the environment.

    Definition Classes

    ParLazy

25. def lookupb(x: Idn, ds: List[Bind]): Option[Exp]

    Lookup a binding for a name in a list of bindings.

    Lookup a binding for a name in a list of bindings.

    Definition Classes

    Par

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

    Definition Classes

    AnyRef

27. final def notify(): Unit

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    Definition Classes

    AnyRef

29. def reducesinlambdas: Boolean

    Whether this mechanism evaluates inside lambdas.

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

    Definition Classes

    Evaluator

30. def rename: rewriting.Rewriter.Strategy

    Rename all variables in a parallel binding expression to fresh vars.

    Rename all variables in a parallel binding expression to fresh vars. Assumes that the names are unique to start with.

    Definition Classes

    ParLazy

31. lazy val s: rewriting.Rewriter.Strategy

    Lazily evaluate within the expression then try to reduce the expression itself, repeating until no change.

    Lazily evaluate within the expression then try to reduce the expression itself, repeating until no change.

    Definition Classes

    ParLazyUpdate → ReduceSubst → Reduce → RewritingEvaluator

32. lazy val subsApp: rewriting.Rewriter.Strategy

    Substitution in applications.

    Substitution in applications.

    Definition Classes

    Par → ReduceSubst

33. lazy val subsLam: rewriting.Rewriter.Strategy

    Substitution in lambda abstractions.

    Substitution in lambda abstractions.

    Definition Classes

    Par → ReduceSubst

34. lazy val subsNum: rewriting.Rewriter.Strategy

    Substitution in numeric terms.

    Substitution in numeric terms.

    Definition Classes

    Par → ReduceSubst

35. lazy val subsOpn: rewriting.Rewriter.Strategy

    Substitution in primitive operations

    Substitution in primitive operations

    Definition Classes

    Par → ReduceSubst

36. lazy val subsVar: rewriting.Rewriter.Strategy

    Substitute a variable and maintain the bindings.

    Substitute a variable and maintain the bindings.

    Definition Classes

    ParLazy → Par → ReduceSubst

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

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

    Definition Classes

    AnyRef

39. def toString(): String

    Definition Classes

    AnyRef → Any

40. def update(eval: rewriting.Rewriter.Strategy): rewriting.Rewriter.Strategy

    Update variable bindings using a given evaluation strategy.

    Update variable bindings using a given evaluation strategy.

    Definition Classes

    ParLazyUpdate

41. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()