Hilbert II - Version 0.03.04

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

Packages that use FunctionDefinition
org.qedeq.kernel.base.module The main functionalities of qedeq modules are described here. 
org.qedeq.kernel.bo.control Contains business object controllers. 
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 FunctionDefinition in org.qedeq.kernel.base.module
 

Methods in org.qedeq.kernel.base.module that return FunctionDefinition
 FunctionDefinition NodeType.getFunctionDefinition()
          Get definition, if this is an instance of FunctionDefinition.
 

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

Methods in org.qedeq.kernel.bo.control with parameters of type FunctionDefinition
 void QedeqBoFormalLogicChecker.visitEnter(FunctionDefinition definition)
           
 void QedeqBoFormalLogicChecker.visitLeave(FunctionDefinition definition)
           
 

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

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

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

Classes in org.qedeq.kernel.dto.module that implement FunctionDefinition
 class FunctionDefinitionVo
          Definition of function operator.
 

Methods in org.qedeq.kernel.dto.module that return FunctionDefinition
 FunctionDefinition RuleVo.getFunctionDefinition()
           
 FunctionDefinition PropositionVo.getFunctionDefinition()
           
 FunctionDefinition PredicateDefinitionVo.getFunctionDefinition()
           
 FunctionDefinition FunctionDefinitionVo.getFunctionDefinition()
           
 FunctionDefinition AxiomVo.getFunctionDefinition()
           
 

Uses of FunctionDefinition in org.qedeq.kernel.latex
 

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

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

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


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.