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

Packages that use ElementList

org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.se.base.list	Descriptions of element list functions.
org.qedeq.kernel.se.dto.list	An element is either a list or an atom.
org.qedeq.kernel.se.visitor	The visitor design pattern allows you to decouple the classes for the data structure and the algorithms used upon them.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.mapper	Contains mapper for XML objects.

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

Methods in org.qedeq.kernel.bo.logic.common that return ElementList

ElementList	PredicateConstant.getCompleteFormula() Get complete defining formula.
ElementList	PredicateConstant.getDefiningFormula() Get defining formula.
ElementList	FunctionConstant.getFunction() Get function with parameters.
ElementList	PredicateConstant.getPredicate() Get predicate with parameters.

Methods in org.qedeq.kernel.bo.logic.common with parameters of type ElementList

static boolean

FormulaUtility.isBindingOperator(ElementList list) Has the given list an operator that binds a subject variable?

Constructors in org.qedeq.kernel.bo.logic.common with parameters of type ElementList

FunctionConstant(FunctionKey key, ElementList completeFormula, ModuleContext context)
Constructor.

PredicateConstant(PredicateKey key, ElementList completeFormula, ModuleContext context)
Constructor.

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

Methods in org.qedeq.kernel.se.base.list that return ElementList

ElementList

Element.getList() Return this element as an ElementList.

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

Classes in org.qedeq.kernel.se.dto.list that implement ElementList

class

DefaultElementList Every Operator must inherit from this class.

Methods in org.qedeq.kernel.se.dto.list that return ElementList

ElementList	DefaultAtom.getList()
ElementList	DefaultElementList.getList()

Constructors in org.qedeq.kernel.se.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.se.visitor

Methods in org.qedeq.kernel.se.visitor with parameters of type ElementList

void	QedeqNotNullTraverser.accept(ElementList list)
void	QedeqTraverser.accept(ElementList list) Traverse element list.
void	AbstractModuleVisitor.visitEnter(ElementList list)
void	ListVisitor.visitEnter(ElementList list) Visit certain element.
void	AbstractModuleVisitor.visitLeave(ElementList list)
void	ListVisitor.visitLeave(ElementList list) Visit certain element.

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

Methods in org.qedeq.kernel.xml.dao 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)