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

Packages that use Formula
escjava.prover |

Uses of Formula in escjava.prover

Fields in escjava.prover declared as Formula
`Formula` | `ProverResponse.formula` A formula.

Methods in escjava.prover with parameters of type Formula
`ProverResponse` | `Sammy.declare_axiom(Formula formula)`
`ProverResponse` | `Sammy.make_assumption(Formula formula)`
`ProverResponse` | `Sammy.is_valid(Formula formula, java.util.Properties properties)`
`abstract ProverResponse` | `NewProver.declare_axiom(Formula formula)` Declare a new axiom in the current theory.
`abstract ProverResponse` | `NewProver.make_assumption(Formula formula)` Make an assumption.
`abstract ProverResponse` | `NewProver.is_valid(Formula formula, java.util.Properties properties)` Check the validity of the given formula given the current theory, its axioms, and the current set of assumptions.
`ProverResponse` | `Harvey.declare_axiom(Formula formula)`
`ProverResponse` | `Harvey.make_assumption(Formula formula)`
`ProverResponse` | `Harvey.is_valid(Formula formula, java.util.Properties properties)`

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