Hilbert II - Version 0.01.09
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.

Hilbert II - Version 0.01.09
A C D E F G H I K L M N O P Q R S T U V W X
©left GNU General Public Licence
All Rights Reserved.