jsdsi
Class Prover.ProofFoundException

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended byjsdsi.Prover.ProofFoundException
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
Prover

static class Prover.ProofFoundException
extends java.lang.Exception

Thrown when the Prover finds a proof. This is an abuse of exceptions, but it makes it easy to return a proof from deep within a recursive call. Ugly, but effective.

Version:
$Revision: 1.1 $ $Date: 2004/02/28 15:49:34 $
Author:
Sameer Ajmani

Field Summary
(package private)  Proof proof
           
 
Fields inherited from class java.lang.Exception
 
Constructor Summary
(package private) Prover.ProofFoundException(Proof p)
           
 
Method Summary
(package private)  Proof getProof()
           
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

proof

Proof proof
Constructor Detail

Prover.ProofFoundException

Prover.ProofFoundException(Proof p)
Method Detail

getProof

Proof getProof()


Copyright © 2002-2004 M.I.T. All Rights Reserved.