A C D E F G H I K L M N O P Q R S T U V W X

V

VariableList - interface org.qedeq.kernel.base.module.VariableList.

List of variables.

VariableListBo - class org.qedeq.kernel.bo.module.VariableListBo.

List of variables.

VariableListBo() - Constructor for class org.qedeq.kernel.bo.module.VariableListBo

Constructs an empty list of variables.

VariableListHandler - class org.qedeq.kernel.xml.handler.module.VariableListHandler.

Parse variables.

VariableListHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.VariableListHandler

Handles variables list of definitions.

VariableListVo - class org.qedeq.kernel.dto.module.VariableListVo.

List of variables.

VariableListVo() - Constructor for class org.qedeq.kernel.dto.module.VariableListVo

Constructs an empty list of variables.

Visitable - interface org.qedeq.kernel.base.elli.Visitable.

Every element which can be visited by an Visitor must implement this interface.

Visitor - interface org.qedeq.kernel.base.elli.Visitor.

The visitor design pattern is a way of separating an algorithm from an object structure.

visit(Atom) - Method in interface org.qedeq.kernel.base.elli.Visitor

Visit certain element.

visit(ElementList) - Method in interface org.qedeq.kernel.base.elli.Visitor

Visit certain element.