|
kiama 0.9.0 API
|
|
class
EagerSubstEvaluator
extends EagerSubst| Values and Variables inherited from EagerSubst | |
| evals, traverse |
| 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 |
|
kiama 0.9.0 API
|
|