Hilbert II - Version 0.03.04

Uses of Interface
org.qedeq.kernel.base.list.ElementList

Packages that use ElementList
org.qedeq.kernel.base.list Descriptions of element list functionalites.  
org.qedeq.kernel.bo.logic Contains the logical abilities of the kernel.  
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.list An element is either a list or an atom.  
org.qedeq.kernel.latex LaTeX export abilities of the kernel.  
org.qedeq.kernel.xml.mapper Contains mapper for XML objects. 
 

Uses of ElementList in org.qedeq.kernel.base.list
 

Methods in org.qedeq.kernel.base.list that return ElementList
 ElementList Element.getList()
          Return this element as a Atom.
 

Uses of ElementList in org.qedeq.kernel.bo.logic
 

Constructors in org.qedeq.kernel.bo.logic with parameters of type ElementList
EqualFormulaSet(ElementList element)
          Constructs an element set from all operands of an element.
 

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

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

Uses of ElementList in org.qedeq.kernel.dto.list
 

Classes in org.qedeq.kernel.dto.list that implement ElementList
 class DefaultElementList
          Every Operator must inherit from this class.
 

Methods in org.qedeq.kernel.dto.list that return ElementList
 ElementList DefaultElementList.getList()
           
 ElementList DefaultAtom.getList()
           
 

Constructors in org.qedeq.kernel.dto.list with parameters of type ElementList
ElementSet(ElementList element)
          Constructs an element set from all operands of an element.
 

Uses of ElementList in org.qedeq.kernel.latex
 

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

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

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


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.