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

R

RBRACK - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

RBRACK - Static variable in interface fmrisc.Proving.CVCL.CVCLParserTokenTypes

RBRACKGRID - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

RBRACKGRID - Static variable in interface fmrisc.Proving.CVCL.CVCLParserTokenTypes

Read - Class in fmrisc.ProofNavigator.Commands

Command "read": read command from denoted file.

Read(String) - Constructor for class fmrisc.ProofNavigator.Commands.Read

Create a "read" command.

read(byte[], int, int) - Method in class fmrisc.ProofNavigator.SWT.TextInputStream

Write into buffer b at position offset at most length bytes.

read() - Method in class fmrisc.ProofNavigator.SWT.TextInputStream

Read a character from this stream.

readDeclaration(File) - Static method in class fmrisc.Communication.Store

Read declaration from file.

readLine() - Static method in class fmrisc.ProofNavigator.Main

Read line of input from console.

readObject() - Method in class fmrisc.External.NewOMDOMReader

Read an OpenMath object.

readProof(FormulaSymbol) - Method in class fmrisc.Communication.Store

Read proof for formula from store.

REALLETTER - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

recordTerm(ValuedIdentifier[]) - Static method in class fmrisc.Syntax.Construct

construct record term of base terms

RecordTerm - Class in fmrisc.Syntax

Handling of record terms.

RecordTerm(ValuedIdentifier[]) - Constructor for class fmrisc.Syntax.RecordTerm

construct record term

recordType(TypedIdentifier[]) - Static method in class fmrisc.Syntax.Construct

construct record type with denoted base types.

RecordType - Class in fmrisc.Syntax

Handling of record types.

RecordType(TypedIdentifier[]) - Constructor for class fmrisc.Syntax.RecordType

construct record type

Redo - Class in fmrisc.ProofNavigator.Commands

The "redo" command: goto an open proof state and redo its proof.

Redo(String) - Constructor for class fmrisc.ProofNavigator.Commands.Redo

create a "redo" command

redo(ProofState) - Method in class fmrisc.Proving.Proof

Redo proof at denoted state.

redo() - Method in class fmrisc.Proving.ProofState

Redo the proof at the denoted state (if possible)

reference(String) - Static method in class fmrisc.Syntax.Construct

construct referenc with denoted name.

reference(Symbol) - Static method in class fmrisc.Syntax.Construct

Construct referenc from symbol.

reference(ValueDeclIdentifier) - Static method in class fmrisc.Syntax.Construct

construct reference from value declaration identifier.

reference(TypeDeclIdentifier) - Static method in class fmrisc.Syntax.Construct

construct reference from type declaration identifier.

Reference - Class in fmrisc.Syntax

Handling of identifiers used in declarations

Reference(String) - Constructor for class fmrisc.Syntax.Reference

construct reference from name (symbol is set to null)

Reference(String, Symbol) - Constructor for class fmrisc.Syntax.Reference

construct reference from name and symbol

referenced(Identifier) - Method in class fmrisc.Proving.Proof

Mark identifier as referenced in current proof.

remove(Formula[], Formula) - Method in class fmrisc.Proving.ProofState

Remove a formula from a sequence of formulas in this state.

removeWhitespace(Node) - Static method in class fmrisc.Communication.Store

Removes all text nodes that only contain whitespace from DOM tree.

replace(Formula[], Formula, Formula) - Method in class fmrisc.Proving.ProofState

Replace a formula in a sequence of formulas in this state.

replay() - Method in class fmrisc.Proving.Proof

Replay skeleton proof.

replay(ProofState) - Method in class fmrisc.Proving.Proof

Replay skeleton proof on proof state and its children.

resetError() - Static method in class fmrisc.ProofNavigator.State

reset error message

resetProof() - Static method in class fmrisc.ProofNavigator.Main

Signal there is no current proof.

resetReferencedSymbols() - Static method in class fmrisc.Semantics.Checking

reset collection of referenced symbols

resetSubstitution() - Method in class fmrisc.Syntax.TypeDeclIdentifier

reset substitution field

resetSubstitution() - Method in class fmrisc.Syntax.TypedIdentifier

reset substitution field in identifier

resetSubstitution() - Method in class fmrisc.Syntax.ValueDeclIdentifier

reset substitution field

resetSymbols() - Method in class fmrisc.Proving.CVCL.CVCLFormulaMask

Reset collection of generated mask symbols.

resize() - Method in class fmrisc.Communication.Presenter

Update font size depending on user settings.

resize() - Static method in class fmrisc.ProofNavigator.SWT.MainSWT

Resize shell based on font setting

restart(boolean) - Static method in class fmrisc.ProofNavigator.SWT.MainSWT

Set signal whether program is to be restarted.

rewrite(Expression) - Static method in class fmrisc.Proving.Rewriting

Rewrite expression to more human-friendly form.

Rewriting - Class in fmrisc.Proving

A visitor for rewriting expressions to a more human-friendly form.

Rewriting() - Constructor for class fmrisc.Proving.Rewriting

RPAR - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

RPAR - Static variable in interface fmrisc.Proving.CVCL.CVCLParserTokenTypes

RPARGRID - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes

RPARGRID - Static variable in interface fmrisc.Proving.CVCL.CVCLParserTokenTypes

RSHash(String) - Static method in class fmrisc.External.GeneralHashFunctionLibrary

run() - Method in class fmrisc.Communication.CommandServer

Server listens on socket and executes received commands.

run() - Static method in class fmrisc.ProofNavigator.Main

Run ProofNavigator interpreter.

run() - Static method in class fmrisc.ProofNavigator.SWT.MainSWT

Run program after command line processing.