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

RuleBo - class org.qedeq.kernel.bo.module.RuleBo.

Rule declaration.

RuleBo() - Constructor for class org.qedeq.kernel.bo.module.RuleBo

Constructs a new proposition.

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.

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.

remove(int) - Method in interface org.qedeq.kernel.base.elli.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.elli.ElementListImpl

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

Remove an element from set.

replace(Element, Element) - Method in interface org.qedeq.kernel.base.elli.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.elli.ElementList

Replaces an element at specified position.

replace(Element, Element) - Method in class org.qedeq.kernel.dto.elli.AtomImpl

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

replace(int, Element) - Method in class org.qedeq.kernel.dto.elli.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