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

M

MAXIMUM - Static variable in class org.qedeq.kernel.xml.parser.ExceptionList

Maximum number of exceptions.

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

Error code for unexpected character data.

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

Missing attribute text.

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

Missing attribute, part two.

ModuleAddress - interface org.qedeq.kernel.bo.module.ModuleAddress.

Specifies the physical location of an module.

ModuleConstants - interface org.qedeq.kernel.bo.module.ModuleConstants.

This interface provides constants of this package.

ModuleLabels - class org.qedeq.kernel.bo.control.ModuleLabels.

Maps labels of an module to their elements.

ModuleLabels() - Constructor for class org.qedeq.kernel.bo.control.ModuleLabels

Constructs a new empty module label list.

main(String[]) - Static method in class org.qedeq.kernel.rel.test.gui.Xml2LatexGui

Main method.

main(String[]) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Latex

Main method.

main(String[]) - Static method in class org.qedeq.kernel.xml.tracker.XPathLocationFinder

Main method.

matchesElements(SimpleXPath, SimpleXPath) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Match the elements and occurrences of this finder object and current elements?

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

Remove elements from another EqualFormulaSet from this set.

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

Remove elements from another ElementSet from this set.