Uses of Interface
org.qedeq.kernel.base.module.Proof

Packages that use Proof

org.qedeq.kernel.base.module	The main funtionalities of qedeq modules are described here.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.dto.module	Value objects for qedeq modules.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.

Uses of Proof in org.qedeq.kernel.base.module

Methods in org.qedeq.kernel.base.module that return Proof

Proof

ProofList.get(int index) Get index-th element of list.

Uses of Proof in org.qedeq.kernel.bo.module

Classes in org.qedeq.kernel.bo.module that implement Proof

class

ProofBo Contains a proof for a proposition.

Methods in org.qedeq.kernel.bo.module that return Proof

Proof

ProofListBo.get(int index)

Methods in org.qedeq.kernel.bo.module with parameters of type Proof

void	PropositionBo.addProof(Proof proof) Add proof for this proposition.
void	ProofListBo.add(Proof proof) Add proof to this list.

Uses of Proof in org.qedeq.kernel.dto.module

Classes in org.qedeq.kernel.dto.module that implement Proof

class

ProofVo Contains a proof for a proposition.

Methods in org.qedeq.kernel.dto.module that return Proof

Proof

ProofListVo.get(int index)

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

void	RuleVo.addProof(Proof proof) Add proof to this list.
void	PropositionVo.addProof(Proof proof) Add proof to this list.
void	ProofListVo.add(Proof proof) Add proof to this list.

Uses of Proof in org.qedeq.kernel.xml.handler.module

Methods in org.qedeq.kernel.xml.handler.module that return Proof

Proof

ProofHandler.getProof() Get proof.