RewritingEvaluator

abstract def s: rewriting.Rewriter.Strategy

The strategy to use to perform the evaluation.

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def eval(exp: Exp): Exp

Evaluate the given expression by rewriting it with the evals strategy.

def finalize(): Unit

object freshvar

Generate a fresh variable name.

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def reducesinlambdas(): Boolean

Whether this mechanism evaluates inside lambdas.

def substitute(x: Idn, e2: Exp, e1: Exp): Exp

Capture-free substitution of free occurrences of x in e1 with e2.

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit