Hilbert II - Version 0.03.04

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

Packages that use Proof
org.qedeq.kernel.base.module The main functionalities of qedeq modules are described here. 
org.qedeq.kernel.bo.visitor The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.  
org.qedeq.kernel.dto.module Value objects for qedeq modules.  
org.qedeq.kernel.latex LaTeX export abilities of the kernel.  
org.qedeq.kernel.xml.mapper Contains mapper for XML objects. 
 

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.visitor
 

Methods in org.qedeq.kernel.bo.visitor with parameters of type Proof
 void QedeqVisitor.visitEnter(Proof proof)
          Visit certain element.
 void QedeqVisitor.visitLeave(Proof proof)
          Visit certain element.
 void QedeqTransverser.accept(Proof proof)
          Traverse proof.
 void QedeqNotNullTransverser.accept(Proof proof)
           
 void AbstractModuleVisitor.visitEnter(Proof proof)
           
 void AbstractModuleVisitor.visitLeave(Proof proof)
           
 

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)
           
 

Uses of Proof in org.qedeq.kernel.latex
 

Methods in org.qedeq.kernel.latex with parameters of type Proof
 void Qedeq2Xml.visitEnter(Proof proof)
           
 void Qedeq2Xml.visitLeave(Proof proof)
           
 void Qedeq2Latex.visitEnter(Proof proof)
           
 

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

Methods in org.qedeq.kernel.xml.mapper with parameters of type Proof
 void Context2SimpleXPath.visitEnter(Proof proof)
           
 void Context2SimpleXPath.visitLeave(Proof proof)
           
 


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.