Uses of Interface
org.qedeq.kernel.se.base.module.Reason

Packages that use Reason

org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
org.qedeq.kernel.se.base.module	The main functionalities of qedeq modules are described here.
org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
org.qedeq.kernel.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

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

Classes in org.qedeq.kernel.bo.logic.proof.finder that implement Reason

class	ModusPonensBo Modes Ponens usage.
class	SubstPredBo Usage of rule for substitute predicate variable.

Methods in org.qedeq.kernel.bo.logic.proof.finder with parameters of type Reason

static java.lang.String

ProofFinderUtility.getUtf8Line(Element formula, Reason reason, int i, Element2Utf8 trans) Get UTF-8 representation of proof line.

Uses of Reason in org.qedeq.kernel.se.base.module

Subinterfaces of Reason in org.qedeq.kernel.se.base.module

interface	Add Usage of addition of already proven formula.
interface	ConditionalProof Usage of conditional proof method.
interface	Existential Rule of existential generalization.
interface	ModusPonens Usage of Modus Ponens.
interface	Rename Rename bound subject variable.
interface	SubstFree Usage of substitute free subject variable by term.
interface	SubstFunc Usage of substitute function variable by term.
interface	SubstPred Usage of substitute predicate variable by formula.
interface	Universal Rule of universal generalization.

Methods in org.qedeq.kernel.se.base.module that return Reason

Reason

FormalProofLine.getReason() Get reason for deriving this line.

Uses of Reason in org.qedeq.kernel.se.dto.module

Classes in org.qedeq.kernel.se.dto.module that implement Reason

class	AddVo Usage of formula addition.
class	ConditionalProofVo Usage of conditional proof method.
class	ExistentialVo Usage of rule for existential generalization.
class	ModusPonensVo Modes Ponens usage.
class	RenameVo Usage of rule for rename bound subject variable.
class	SubstFreeVo Usage of rule for substitute free subject variable.
class	SubstFuncVo Usage of rule for substitute function variable.
class	SubstPredVo Usage of rule for substitute predicate variable.
class	UniversalVo Usage of rule for universal generalization.

Methods in org.qedeq.kernel.se.dto.module that return Reason

Reason	FormalProofLineVo.getReason()
Reason	ConditionalProofVo.getReason()

Methods in org.qedeq.kernel.se.dto.module with parameters of type Reason

void	FormalProofLineVo.setReason(Reason reason) Set reason type for proof line.

Constructors in org.qedeq.kernel.se.dto.module with parameters of type Reason

FormalProofLineVo(Formula formula, Reason reason)
Constructs an proof line.

FormalProofLineVo(java.lang.String label, Formula formula, Reason reason)
Constructs an proof line.

Uses of Reason in org.qedeq.kernel.se.visitor

Methods in org.qedeq.kernel.se.visitor with parameters of type Reason

void	QedeqNotNullTraverser.accept(Reason reason)
void	QedeqTraverser.accept(Reason reason) Traverse formal proof line reason.
void	QedeqVisitor.visitEnter(Reason reason) Visit certain element.
void	AbstractModuleVisitor.visitEnter(Reason reason)
void	QedeqVisitor.visitLeave(Reason reason) Visit certain element.
void	AbstractModuleVisitor.visitLeave(Reason reason)

Uses of Reason in org.qedeq.kernel.xml.mapper

Methods in org.qedeq.kernel.xml.mapper with parameters of type Reason

void	Context2SimpleXPath.visitEnter(Reason reason)
void	Context2SimpleXPath.visitLeave(Reason reason)