class InnermostSubstEvaluator in kiama.example.lambda2

kiama.example.lambda2

class InnermostSubstEvaluator

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

class InnermostSubstEvaluator: extends ReduceSubst

Values and Variables inherited from ReduceSubst
evals, 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

Method Summary
`override def`	reducesinlambdas : Boolean Whether this mechanism evaluates inside lambdas. Used for testing. Default: false.

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

Method Details

override def reducesinlambdas : Boolean

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