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

Packages that use SimplifyOutput
escjava.prover   
 

Uses of SimplifyOutput in escjava.prover
 

Subclasses of SimplifyOutput in escjava.prover
 class SimplifyComment
          An object of this class represent a progress comment produced by Simplify.
 class SimplifyOutputSentinel
          Objects of this class represent the summary part of the normal output from Simplify: valid, invalid, or unknown.
 class SimplifyResult
          An object of this class represent a "result" produced by Simplify.
 class TriggerlessQuantWarning
          An object of this class represent a "result" produced by Simplify.
 


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