Hilbert II - Version 0.03.04

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

Packages that use Term
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 Term in org.qedeq.kernel.base.module
 

Methods in org.qedeq.kernel.base.module that return Term
 Term FunctionDefinition.getTerm()
          Get term that defines the object.
 

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

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

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

Classes in org.qedeq.kernel.dto.module that implement Term
 class TermVo
          Wraps a fterm.
 

Methods in org.qedeq.kernel.dto.module that return Term
 Term FunctionDefinitionVo.getTerm()
           
 

Uses of Term in org.qedeq.kernel.latex
 

Methods in org.qedeq.kernel.latex with parameters of type Term
 void Qedeq2Xml.visitEnter(Term term)
           
 void Qedeq2Xml.visitLeave(Term term)
           
 

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

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


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.