Hilbert II - Version 0.03.01
A B 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.
MORE_THAN_ONE_ARGUMENT_EXPECTED - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors
Error code.
MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors
Error message.
MathParser - class org.qedeq.kernel.parser.MathParser.
Parse term or formula data into Terms.
MathParser(MementoTextInput, List) - Constructor for class org.qedeq.kernel.parser.MathParser
Constructor.
MementoTextInput - class org.qedeq.kernel.parser.MementoTextInput.
Remember TextInput positions.
MementoTextInput(TextInput) - Constructor for class org.qedeq.kernel.parser.MementoTextInput
Constructor.
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.
ModuleContext - class org.qedeq.kernel.context.ModuleContext.
Define context for an instance of Qedeq.
ModuleContext(String, String) - Constructor for class org.qedeq.kernel.context.ModuleContext
Constructor.
ModuleContext(String) - Constructor for class org.qedeq.kernel.context.ModuleContext
Constructor.
ModuleContext(ModuleContext) - Constructor for class org.qedeq.kernel.context.ModuleContext
Copy constructor.
ModuleContext(ModuleContext, String) - Constructor for class org.qedeq.kernel.context.ModuleContext
Constructor.
ModuleDataException - exception org.qedeq.kernel.bo.module.ModuleDataException.
Data validation error for a QEDEQ module.
ModuleDataException(int, String, ModuleContext, ModuleContext, Exception) - Constructor for class org.qedeq.kernel.bo.module.ModuleDataException
Constructor.
ModuleDataException(int, String, ModuleContext, ModuleContext) - Constructor for class org.qedeq.kernel.bo.module.ModuleDataException
Constructor.
ModuleDataException(int, String, ModuleContext, Exception) - Constructor for class org.qedeq.kernel.bo.module.ModuleDataException
Constructor.
ModuleDataException(int, String, ModuleContext) - Constructor for class org.qedeq.kernel.bo.module.ModuleDataException
Constructor.
ModuleLabels - class org.qedeq.kernel.bo.module.ModuleLabels.
Maps labels of an module to their elements.
ModuleLabels() - Constructor for class org.qedeq.kernel.bo.module.ModuleLabels
Constructs a new empty module label list.
main(String[]) - Static method in class org.qedeq.kernel.rel.test.gui.Xml2OtherGui
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.rel.test.text.Xml2Wiki
Main method.
main(String[]) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Xml
Main method.
main(String[]) - Static method in class org.qedeq.kernel.xml.tracker.XPathLocationFinder
Main method.
markPosition() - Method in class org.qedeq.kernel.latex.LatexTextParser
Remember current position.
markPosition() - Method in class org.qedeq.kernel.parser.MathParser
Remember current position.
markPosition() - Method in class org.qedeq.kernel.parser.MementoTextInput
Remember current position.
matchesElements(SimpleXPath, SimpleXPath) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath
Match the elements and occurrences of this finder object and current elements?
matchesElementsBegining(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.list.ElementSet
Remove elements from another ElementSet from this set.

Hilbert II - Version 0.03.01
A B 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.