Hilbert II - Version 0.03.01

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

Packages that use Qedeq
org.qedeq.kernel.bo.control Contains business object controllers. 
org.qedeq.kernel.bo.module Business objects for qedeq modules. 
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.handler.module Handler to parse qedeq XML modules.  
 

Uses of Qedeq in org.qedeq.kernel.bo.control
 

Methods in org.qedeq.kernel.bo.control that return Qedeq
protected  Qedeq QedeqBoFormalLogicChecker.getQedeqOriginal()
          Get original qedeq module.
protected  Qedeq QedeqBoFactory.getQedeqOriginal()
          Get original qedeq module.
 

Methods in org.qedeq.kernel.bo.control with parameters of type Qedeq
static QedeqBo QedeqBoFactory.createQedeq(String globalContext, Qedeq original)
          Create QedeqBo out of an Qedeq instance.
protected  QedeqBo QedeqBoFactory.create(Qedeq original)
          Create QedeqBo out of an Qedeq instance.
 

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

Classes in org.qedeq.kernel.bo.module that implement Qedeq
 class QedeqBo
          A complete QEDEQ module.
 

Uses of Qedeq in org.qedeq.kernel.bo.visitor
 

Methods in org.qedeq.kernel.bo.visitor with parameters of type Qedeq
 void QedeqVisitor.visitEnter(Qedeq qedeq)
          Visit certain element.
 void QedeqVisitor.visitLeave(Qedeq qedeq)
          Visit certain element.
 void QedeqTransverser.accept(Qedeq qedeq)
          Start with the top structure of a QEDEQ module.
 void QedeqNotNullTransverser.accept(Qedeq qedeq)
           
 void AbstractModuleVisitor.visitEnter(Qedeq qedeq)
           
 void AbstractModuleVisitor.visitLeave(Qedeq qedeq)
           
 

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

Classes in org.qedeq.kernel.dto.module that implement Qedeq
 class QedeqVo
          A complete qedeq module.
 

Uses of Qedeq in org.qedeq.kernel.latex
 

Methods in org.qedeq.kernel.latex with parameters of type Qedeq
static void Qedeq2Xml.print(String globalContext, Qedeq qedeq, OutputStream outputStream)
          TODO.
 void Qedeq2Xml.printXml(String globalContext, Qedeq qedeq, OutputStream outputStream)
          Prints a XML file into a given output stream.
 void Qedeq2Xml.visitEnter(Qedeq qedeq)
           
 void Qedeq2Xml.visitLeave(Qedeq qedeq)
           
 

Constructors in org.qedeq.kernel.latex with parameters of type Qedeq
Qedeq2Wiki(String context, Qedeq qedeq)
          Constructor.
Qedeq2Latex(String context, Qedeq qedeq)
          Constructor.
 

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

Methods in org.qedeq.kernel.xml.handler.module that return Qedeq
 Qedeq QedeqHandler.getQedeq()
          Get qedeq value object.
 


Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.