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

Packages that use SimplifyResult
escjava.prover   
 

Uses of SimplifyResult in escjava.prover
 

Subclasses of SimplifyResult in escjava.prover
 class TriggerlessQuantWarning
          An object of this class represent a "result" produced by Simplify.
 

Methods in escjava.prover that return SimplifyResult
private  SimplifyResult CECEnum.readResultMessage()
           
 


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