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

O

OMDoc - Class in fmrisc.Communication

OMDoc(Document) - Constructor for class fmrisc.Communication.OMDoc

Create OMDoc converter for denoted document.

OMDocPrefix - Static variable in class fmrisc.ProofNavigator.State

OMDocURI - Static variable in class fmrisc.ProofNavigator.State

Open - Class in fmrisc.ProofNavigator.Commands

The "open" command: display the list of open states.

Open() - Constructor for class fmrisc.ProofNavigator.Commands.Open

Create an "open" command.

open(String) - Static method in class fmrisc.ProofNavigator.Main

Read command from file with denoted path.

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

open the state.

open() - Method in class fmrisc.Semantics.Context

open a new subcontext subcontexts may be arbitrarily nested; every subcontext must be ultimately either aborted or commited.

OpenMath - Class in fmrisc.Communication

Conversion of AST objects (excluding declarations) from/to OpenMath representation.

OpenMath() - Constructor for class fmrisc.Communication.OpenMath

OpenMathPrefix - Static variable in class fmrisc.ProofNavigator.State

OpenMathURI - Static variable in class fmrisc.ProofNavigator.State

Option - Class in fmrisc.ProofNavigator.Commands

The "option" command: set a system option.

Option(String, String) - Constructor for class fmrisc.ProofNavigator.Commands.Option

Create an "option" command.

orFormula(Expression, Expression) - Static method in class fmrisc.Syntax.Construct

construct disjunction with components base1 and base2

OrFormula - Class in fmrisc.Syntax

Handling of disjunctions.

OrFormula(Expression, Expression) - Constructor for class fmrisc.Syntax.OrFormula

construct disjunction with components base1 and base2