A B 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.

UNIQUE_EXISTENTIAL_QUANTIFIER_OPERATOR - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for logical "exists unique" operator.

UNIVERSAL_QUANTIFIER_OPERATOR - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for logical "all" operator.

UNKNOWN_FUNCTION_CONSTANT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

UNKNOWN_FUNCTION_CONSTANT_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

UNKNOWN_LOGICAL_OPERATOR - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

UNKNOWN_LOGICAL_OPERATOR_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

UNKNOWN_PREDICATE_CONSTANT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

UNKNOWN_PREDICATE_CONSTANT_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

UNKNOWN_TERM_OPERATOR - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

UNKNOWN_TERM_OPERATOR_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

UnexpectedOperatorException - exception org.qedeq.kernel.parser.UnexpectedOperatorException.

Operator occurred unexpected.

UnexpectedOperatorException(long, Operator) - Constructor for class org.qedeq.kernel.parser.UnexpectedOperatorException

Constructor.

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

List of modules which use the current one.

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.list.ElementSet

Add elements from another ElementSet to this set.

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

Update from model.