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


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