Uses of Class
org.qedeq.kernel.bo.logic.proof.common.ProofException

Packages that use ProofException

org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.

Uses of ProofException in org.qedeq.kernel.bo.logic.proof.common

Subclasses of ProofException in org.qedeq.kernel.bo.logic.proof.common

class	ProofFoundException Indicates we found a proof.
class	ProofNotFoundException Indicates we couldn't find a proof.

Methods in org.qedeq.kernel.bo.logic.proof.common that throw ProofException

void	ProofFinder.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 transform) Finds a formal proof.

Uses of ProofException in org.qedeq.kernel.bo.logic.proof.finder

Methods in org.qedeq.kernel.bo.logic.proof.finder that throw ProofException

void	ProofFinderImpl.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 trans)