Uses of Class
edu.toronto.cs.yasm.pprogram.PDecl

Packages that use PDecl
edu.toronto.cs.yasm.abstractor   
edu.toronto.cs.yasm.pprogram   
 

Uses of PDecl in edu.toronto.cs.yasm.abstractor
 

Methods in edu.toronto.cs.yasm.abstractor with parameters of type PDecl
 void PredicateRefiner.doDeclRefine(PDecl pDecl)
          Registers a variable v corresponding to pDecl with the vc and also stores a reference to v in pDecl (to prevent CVCL from garbage collecting v).
 

Uses of PDecl in edu.toronto.cs.yasm.pprogram
 

Methods in edu.toronto.cs.yasm.pprogram that return PDecl
 PDecl PFunctionDef.getReturnIndexDecl()
           
 PDecl PFunctionDef.getReturnValueDecl()