Class Resolver3.Binding<T>

java.lang.Object
eu.bandm.tools.d2d2.base.Resolver3.Binding<T>
Enclosing class:
Resolver3

protected class Resolver3.Binding<T> extends Object
Stack frame which memorizes a particular single rewriting clause, mapping an identifier to an expression. The chain of all rewritings is realized as a linked list by the field predec. The start of the chain is dynamicaly kept in Resolver3.currentLocalSubsts. The type parameter T is the type of the bound values.