kiama 0.9.0 API
kiama.example.lambda2

trait InnermostSubst
[source: kiama/example/lambda2/InnermostSubst.scala]
trait InnermostSubst
extends ReduceSubst
Evaluation of lambda calculus using an non-memoising innermost evaluation with term-level substitution and arithmetic operations.
Value Summary
override lazy val evals : Strategy
The strategy to use to perform the evaluation.
Values and Variables inherited from ReduceSubst
lambda, beta, subsNum, subsVar, subsApp, subsLam, subsOpn
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
kiama 0.9.0 API