Hilbert II - Version 0.03.04
A B C D E F G H I K L M N O P Q R S T U V W X

R

ReplaceUtility - class org.qedeq.kernel.utility.ReplaceUtility.
A collection of useful static methods for string replacement.
Rule - interface org.qedeq.kernel.base.module.Rule.
Rule.
RuleHandler - class org.qedeq.kernel.xml.handler.module.RuleHandler.
Parse a rule.
RuleHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.RuleHandler
Deals with definitions.
RuleVo - class org.qedeq.kernel.dto.module.RuleVo.
Rule declaration.
RuleVo() - Constructor for class org.qedeq.kernel.dto.module.RuleVo
Constructs a new rule declaration.
read() - Method in class org.qedeq.kernel.utility.TextInput
Reads a single character and increments the reading position by one.
readChar() - Method in class org.qedeq.kernel.latex.LatexTextParser
Reads a single character and increments the reading position by one.
readChar() - Method in class org.qedeq.kernel.parser.MathParser
Reads a single character and increments the reading position by one.
readChar() - Method in class org.qedeq.kernel.parser.MementoTextInput
Reads a single character and increments the reading position by one.
readCounter() - Method in class org.qedeq.kernel.utility.TextInput
Reads the next (big) integer, leading whitespace is skipped.
readInverse() - Method in class org.qedeq.kernel.utility.TextInput
Decrements the reading position by one and reads a single character.
readLetterDigitString() - Method in class org.qedeq.kernel.utility.TextInput
Reads the next string containing only letters or digits, leading whitespace is skipped.
readNextAttributeValue() - Method in class org.qedeq.kernel.utility.TextInput
Reads attribute value out of XML stream.
readNextXmlName() - Method in class org.qedeq.kernel.utility.TextInput
Reads tag or attribute name out of XML stream.
readQuoted() - Method in class org.qedeq.kernel.utility.TextInput
Reads the next quoted string, leading whitespace is skipped.
readString(int) - Method in class org.qedeq.kernel.utility.TextInput
Reads a given amount of characters and increments the reading position accordingly.
readTerm() - Method in class org.qedeq.kernel.parser.MathParser
Reads (maximal possible) Term from input.
readToken() - Method in class org.qedeq.kernel.latex.LatexTextParser
Read next token from input stream.
readToken() - Method in class org.qedeq.kernel.parser.AsciiMathParser
 
readToken() - Method in class org.qedeq.kernel.parser.LatexMathParser
 
readToken() - Method in class org.qedeq.kernel.parser.MathParser
Read next token from input and move reading position.
readToken() - Method in class org.qedeq.kernel.parser.SimpleMathParser
 
remove(int) - Method in interface org.qedeq.kernel.base.list.ElementList
Deletes an element of element list.
remove(EqualFormula) - Method in class org.qedeq.kernel.bo.logic.EqualFormulaSet
Remove an element from set.
remove(int) - Method in class org.qedeq.kernel.dto.list.DefaultElementList
 
remove(Element) - Method in class org.qedeq.kernel.dto.list.ElementSet
Remove an element from set.
removeAllModules() - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory
 
removeAllModules() - Method in class org.qedeq.kernel.bo.load.Modules
Remove all modules from memory.
removeAllModules() - Method in interface org.qedeq.kernel.bo.module.ModuleFactory
Remove all modules from memory.
removeAllModules() - Method in class org.qedeq.kernel.context.KernelContext
 
removeModule(ModuleProperties) - Method in class org.qedeq.kernel.log.DefaultModuleEventListener
 
removeModule(ModuleProperties) - Method in interface org.qedeq.kernel.log.ModuleEventListener
Remove module.
removeModule(ModuleProperties) - Method in class org.qedeq.kernel.log.ModuleEventListenerLog
 
removeModule(ModuleProperties) - Method in class org.qedeq.kernel.log.ModuleEventLog
 
removeModuleAndDependents(ModuleProperties) - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory
Remove a QEDEQ module from memory.
removeModuleAndDependents(ModuleProperties) - Method in class org.qedeq.kernel.bo.load.Modules
Remove a QEDEQ module from memory.
removeProperties(String) - Method in class org.qedeq.kernel.config.ConfigAccess
Remove properties with certain prefix.
removeProperty(String) - Method in class org.qedeq.kernel.config.ConfigAccess
Remove property.
replace(Element, Element) - Method in interface org.qedeq.kernel.base.list.Element
Creates and returns a copy of this object, but replaces anything that Element.equals(java.lang.Object) argument with a Element.copy() of replacement.
replace(int, Element) - Method in interface org.qedeq.kernel.base.list.ElementList
Replaces an element at specified position.
replace(Element, Element) - Method in class org.qedeq.kernel.dto.list.DefaultAtom
 
replace(Element, Element) - Method in class org.qedeq.kernel.dto.list.DefaultElementList
 
replace(int, Element) - Method in class org.qedeq.kernel.dto.list.DefaultElementList
 
replace(String, String, String) - Static method in class org.qedeq.kernel.utility.ReplaceUtility
Replaces all occurrences of search in text by replace and returns the result.
replace(StringBuffer, String, String) - Static method in class org.qedeq.kernel.utility.ReplaceUtility
Replaces all occurrences of search in text by replace and returns the result.
resetToDefault() - Method in class org.qedeq.kernel.rel.test.gui.Parameter
Reset all parameters to default values.
resetToDefaultValues() - Method in class org.qedeq.kernel.rel.test.gui.ParameterList
Set all parameters back to default values.
resolveEntity(String, String) - Method in class org.qedeq.kernel.xml.parser.SaxEntityResolver
 
rewindPosition() - Method in class org.qedeq.kernel.latex.LatexTextParser
Rewind to previous marked position.
rewindPosition() - Method in class org.qedeq.kernel.parser.MathParser
Rewind to previous marked position.
rewindPosition() - Method in class org.qedeq.kernel.parser.MementoTextInput
Rewind to previous marked position.

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