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.SNil

Packages that use SNil
escjava.prover   
 

Uses of SNil in escjava.prover
 

Fields in escjava.prover declared as SNil
private static SNil SNil.single
          The single instance of this class, or null if it has not yet been allocated.
 

Methods in escjava.prover that return SNil
static SNil SNil.getNil()
           
 


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