Uses of Class
org.qedeq.kernel.bo.logic.common.LogicalCheckException

Packages that use LogicalCheckException

org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.bo.logic.proof.checker	This package enables to check proofs with the basic rules.
org.qedeq.kernel.bo.logic.wf	Checking for being well-formed formulas.

Uses of LogicalCheckException in org.qedeq.kernel.bo.logic.common

Methods in org.qedeq.kernel.bo.logic.common that return LogicalCheckException

LogicalCheckException

LogicalCheckExceptionList.get(int i) Get i-th exception.

Methods in org.qedeq.kernel.bo.logic.common with parameters of type LogicalCheckException

void	LogicalCheckExceptionList.add(LogicalCheckException e) Add exception.

Uses of LogicalCheckException in org.qedeq.kernel.bo.logic.proof.checker

Subclasses of LogicalCheckException in org.qedeq.kernel.bo.logic.proof.checker

class

ProofCheckException This is an exception for formal proof errors within a QEDEQ module.

Uses of LogicalCheckException in org.qedeq.kernel.bo.logic.wf

Subclasses of LogicalCheckException in org.qedeq.kernel.bo.logic.wf

class	ElementCheckException This is an exception for logical errors within a QEDEQ module.
class	FormulaCheckException This is an exception for logical errors within a QEDEQ module.
class	TermCheckException This is an exception for logical errors within a QEDEQ module.