TreeFolder

abstract def combine(tree: Tree, context: C, contexts: Seq[C]): C

Combine the contexts from subtrees

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 finalize(): Unit

final def fold(tree: Tree, c: C): C

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

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

def toString(): String

def transform(sexpr: SExpr, context: C): (SExpr, C)

def transform(sv: SortedVar, context: C): (SortedVar, C)

def transform(vb: VarBinding, context: C): (VarBinding, C)

def transform(id: Identifier, context: C): (Identifier, C)

def transform(sort: Sort, context: C): (Sort, C)

def transform(term: Term, context: C): (Term, C)

final def wait(): Unit

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

final def wait(arg0: Long): Unit