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.prover.SPair

Packages that use SPair
escjava.prover   
 

Uses of SPair in escjava.prover
 

Methods in escjava.prover that return SPair
(package private)  SPair SPair.getPair()
          If we represent a non-empty list, return it as a SPair; otherwise, throw SExpTypeError.
(package private)  SPair SList.getPair()
          If we represent a non-empty list, return it as a SPair; otherwise, throw SExpTypeError.
 


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