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

Packages that use Signature
escjava.prover   
 

Uses of Signature in escjava.prover
 

Methods in escjava.prover with parameters of type Signature
 ProverResponse Sammy.signature(Signature signature)
           
abstract  ProverResponse NewProver.signature(Signature signature)
          Send the signature of a new theory to the prover.
 ProverResponse Harvey.signature(Signature signature)
           
 


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