class LazySubstEvaluator in kiama.example.lambda2

kiama.example.lambda2

class LazySubstEvaluator

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

class LazySubstEvaluator: extends LazySubst

Values and Variables inherited from LazySubst
traverse

Values and Variables inherited from EagerSubst
evals

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