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

Packages that use Atom
escjava.prover   
 

Uses of Atom in escjava.prover
 

Methods in escjava.prover that return Atom
 Atom SExp.getAtom()
          If we represent an atom, return it as an Atom; otherwise, throw SExpTypeError.
static Atom Atom.fromString(java.lang.String symbol)
          Create a Atom representing a given symbol.
 Atom Atom.getAtom()
          If we represent an atom, return it as an Atom; 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