ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 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.vcGeneration.TName

Packages that use TName
escjava.vcGeneration   
escjava.vcGeneration.coq   
escjava.vcGeneration.pvs   
escjava.vcGeneration.simplify   
escjava.vcGeneration.xml   
 

Uses of TName in escjava.vcGeneration
 

Methods in escjava.vcGeneration with parameters of type TName
abstract  void TVisitor.visitTName(TName n)
           
 void TDotVisitor.visitTName(TName n)
           
 

Uses of TName in escjava.vcGeneration.coq
 

Methods in escjava.vcGeneration.coq with parameters of type TName
 void TProofTyperVisitor.visitTName(TName n)
           
 void TProofSimplifier.visitTName(TName n)
           
 void TCoqVisitor.visitTName(TName n)
           
 void TCoqBoolVisitor.visitTName(TName n)
          Boolean variables that are used within a prop should be translated in the form myvar = true
 

Uses of TName in escjava.vcGeneration.pvs
 

Methods in escjava.vcGeneration.pvs with parameters of type TName
 void TPvsVisitor.visitTName(TName n)
           
 void TProofSimplifier.visitTName(TName n)
           
 

Uses of TName in escjava.vcGeneration.simplify
 

Methods in escjava.vcGeneration.simplify with parameters of type TName
 void TSimplifyVisitor.visitTName(TName n)
           
 

Uses of TName in escjava.vcGeneration.xml
 

Methods in escjava.vcGeneration.xml with parameters of type TName
 void TXmlVisitor.visitTName(TName n)
           
 


ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 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