Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
escjava.translate.Substitute.SetRef

Packages that use Substitute.SetRef
escjava.translate |

Uses of Substitute.SetRef in escjava.translate

Methods in escjava.translate with parameters of type Substitute.SetRef
`private static Expr` | `Substitute.doSubst(java.util.Hashtable subst, Expr e, Substitute.SetRef rhsVars)` Does substitution on GCExprs union (resolved) SpecExprs.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage