|
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 |
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)
|
|
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 |