jsdsi
Class Prover.ProofFoundException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          jsdsi.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()