trait ParEagerSubst in kiama.example.lambda2

kiama.example.lambda2

trait ParEagerSubst

[source: kiama/example/lambda2/ParEagerSubst.scala]

trait ParEagerSubst: extends ReduceSubst

Eager evaluation of lambda calculus with parallel term-level substitution and arithmetic operations.

Direct Known Subclasses:: ParLazySubst, ParEagerSubstEvaluator

Value Summary
`override lazy val`	beta : Strategy
`override lazy val`	evals : Strategy The strategy to use to perform the evaluation.
`override lazy val`	lambda : PlusStrategy
`lazy val`	letLet : Strategy
`lazy val`	letLetOne : Strategy
`override lazy val`	subsApp : Strategy
`override lazy val`	subsLam : Strategy
`override lazy val`	subsNum : Strategy
`override lazy val`	subsOpn : Strategy
`override lazy val`	subsVar : Strategy
`lazy val`	traverse : Strategy

Values and Variables inherited from Reduce
arithop

Values and Variables inherited from Rewriter
failure, id, eq, equal, issubterm, ispropersubterm, issuperterm, ispropersuperterm, isleaf, isinnernode

Methods inherited from RewritingEvaluator
eval

Methods inherited from Rewriter

strategyf, strategy, rulef, rule, termToStrategy, queryf, query, term, para, child, all, one, some, rewrite, collects, collectl, count, attempt, repeat, repeat, repeat, repeat1, repeat1, repeatuntil, loop, loopnot, doloop, loopiter, loopiter, not, where, test, breadthfirst, topdown, topdownS, bottomup, bottomupS, downup, downup, downupS, downupS, dontstop, oncetd, oncebu, sometd, somebu, outermost, innermost, innermost2, reduce, alltd, alldownup2, alltdfold, somedownup, manybu, manytd, leaves, leaves, everywherebu, everywheretd, restore, restorealways, lastly, ior, or, and

Methods inherited from Evaluator
reducesinlambdas, substitute

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Value Details

override lazy val evals : Strategy

The strategy to use to perform the evaluation.

Overrides: ReduceSubst.evals

lazy val traverse : Strategy

override lazy val lambda : PlusStrategy

Overrides: ReduceSubst.lambda

override lazy val beta : Strategy

Overrides: ReduceSubst.beta

override lazy val subsNum : Strategy

Overrides: ReduceSubst.subsNum

override lazy val subsVar : Strategy

Overrides: ReduceSubst.subsVar

override lazy val subsApp : Strategy

Overrides: ReduceSubst.subsApp

override lazy val subsLam : Strategy

Overrides: ReduceSubst.subsLam

override lazy val subsOpn : Strategy

Overrides: ReduceSubst.subsOpn

lazy val letLetOne : Strategy

lazy val letLet : Strategy