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.ElementListImpl

remove(Element) - Method in class org.qedeq.kernel.dto.list.ElementSet

Remove an element from set.

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.AtomImpl

replace(Element, Element) - Method in class org.qedeq.kernel.dto.list.ElementListImpl

replace(int, Element) - Method in class org.qedeq.kernel.dto.list.ElementListImpl

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.