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

Packages that use VariableList

org.qedeq.kernel.base.module	The main funtionalities 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.

Uses of VariableList in org.qedeq.kernel.base.module

Methods in org.qedeq.kernel.base.module that return VariableList

VariableList	PredicateDefinition.getVariableList() Get variable list of definition arguments.
VariableList	FunctionDefinition.getVariableList() Get variable list of definition arguments.

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

Methods in org.qedeq.kernel.bo.visitor with parameters of type VariableList

void	QedeqVisitor.visitEnter(VariableList variableList) Visit certain element.
void	QedeqVisitor.visitLeave(VariableList variableList) Visit certain element.
void	QedeqTransverser.accept(VariableList variableList) Traverse variable list.
void	QedeqNotNullTransverser.accept(VariableList variableList)
void	AbstractModuleVisitor.visitEnter(VariableList variableList)
void	AbstractModuleVisitor.visitLeave(VariableList variableList)

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

Classes in org.qedeq.kernel.dto.module that implement VariableList

class

VariableListVo List of variables.

Methods in org.qedeq.kernel.dto.module that return VariableList

VariableList	PredicateDefinitionVo.getVariableList()
VariableList	FunctionDefinitionVo.getVariableList()

Uses of VariableList in org.qedeq.kernel.latex

Methods in org.qedeq.kernel.latex with parameters of type VariableList

void	Qedeq2Xml.visitEnter(VariableList variableList)
void	Qedeq2Xml.visitLeave(VariableList variableList)