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

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.
 


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

The ESC/Java2 Project Homepage