Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
escjava.prover.SExp

Packages that use SExp
escjava.prover |

Uses of SExp in escjava.prover

Subclasses of SExp in escjava.prover
`class` | `Atom` `Atom`s are S-expressions representing symbols.
`class` | `SInt`
`class` | `SList` `SList`s represent possibly-empty lists of `SExp`s.
`(package private) class` | `SNil` The single `SNil` instance represents the empty list of `SExp`s.
`(package private) class` | `SPair` A `SPair` is a pair of a `SExp` and a `SList`; together with the `SNil` class, it is used to implement lists of `SExp`s.

Fields in escjava.prover declared as SExp
`SExp` | `TriggerlessQuantWarning.e0`
`SExp` | `TriggerlessQuantWarning.e1`
`SExp` | `SPair.head` The head of our list; this field should not be modified by clients and should be non-null.

Methods in escjava.prover that return SExp
`SExp` | `SubProcess.readSExp()`
`SExp` | `SList.at(int i)`
`static SExp` | `SExp.make(int i)` Return an S-expression representing a given integer.
`static SExp` | `SExp.fancyMake(java.lang.Object o)` Return an S-expression representing an integer (passed wrapped in an `Integer`), an atom (specified via a `String`), or an existing S-expression (this case leaves the argument unchanged).

Methods in escjava.prover with parameters of type SExp
`static SList` | `SList.fromArray(SExp[] a)`
`void` | `SList.setAt(int i, SExp s)` Modify the list in place by set the `i`th element to `s`.
`SList` | `SList.addFront(SExp x)`
`SList` | `SList.addEnd(SExp x)`
`static void` | `SExp.display(SExp x)` Display a `SExp` verbosely, using all its accessor methods.

Constructors in escjava.prover with parameters of type SExp
`TriggerlessQuantWarning(SList labels, SList context, SExp e0, int n, SExp e1)`
`SPair(SExp head, SList tail)` Return a new list with given head and tail.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage