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

Packages that use ElementList

org.qedeq.kernel.base.elli	Descriptions of element list functionalites.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.dto.elli	An element is either a list or an atom.

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

Methods in org.qedeq.kernel.base.elli that return ElementList

ElementList

Element.getList() Return this element as a Atom.

Methods in org.qedeq.kernel.base.elli with parameters of type ElementList

void	Visitor.visit(ElementList list) Visit certain element.

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.dto.elli

Classes in org.qedeq.kernel.dto.elli that implement ElementList

class

ElementListImpl Every Operator must inherit from this class.

Methods in org.qedeq.kernel.dto.elli that return ElementList

ElementList	ElementListImpl.getList()
ElementList	AtomImpl.getList()

Constructors in org.qedeq.kernel.dto.elli with parameters of type ElementList

ElementSet(ElementList element)
Constructs an element set from all operands of an element.