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

U

UNEXPECTED_DATA_CODE - Static variable in class org.qedeq.kernel.xml.parser.SyntaxException

Error code for unexpected character data.

UNEXPECTED_DATA_TEXT - Static variable in class org.qedeq.kernel.xml.parser.SyntaxException

Unexpected tag message text, part one.

UNEXPECTED_TAG_CODE - Static variable in class org.qedeq.kernel.xml.parser.SyntaxException

Error code for unexpected tag.

UNEXPECTED_TAG_TEXT - Static variable in class org.qedeq.kernel.xml.parser.SyntaxException

Unexpected tag message text.

UNIVERSAL_QUANTIFIER_OPERATOR - Static variable in class org.qedeq.kernel.bo.logic.FormulaChecker

Operator string for logical "all" operator.

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

List of modules which use the current one.

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

List of modules which use the current one.

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

Constructs an empty list of used by modules.

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

Parse list of referencing modules.

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

Handles list of modules that use the current one.

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

List of modules which use the current one.

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

Constructs an empty list of used by modules.

union(EqualFormulaSet) - Method in class org.qedeq.kernel.bo.logic.EqualFormulaSet

After this method this object is the union of the two sets.

union(ElementSet) - Method in class org.qedeq.kernel.dto.elli.ElementSet

Add elements from another ElementSet to this set.

updateView() - Method in class org.qedeq.kernel.rel.test.gui.QedeqPane

Update from model.