- objectmethod() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
-
- ObjectMethodDeclaration - Class in fmrisc.ProgramExplorer.Syntax.Program
-
An object method declaration.
- ObjectMethodSymbol - Class in fmrisc.ProgramExplorer.Semantics
-
A symbol denoting an object method.
- objectvar() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
-
- ObjectVariableDeclaration - Class in fmrisc.ProgramExplorer.Syntax.Program
-
An object variable declaration.
- ObjectVariableSymbol - Class in fmrisc.ProgramExplorer.Semantics
-
An object value.
- OldState - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
A state literal referring to the old (predecessor) state.
- oldStateKeyword - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.OldState
-
- OMDoc - Class in fmrisc.ProofNavigator.Communication
-
Conversion of AST declarations from/to OMDoc declarations.
- OMDoc(Document) - Constructor for class fmrisc.ProofNavigator.Communication.OMDoc
-
Create OMDoc converter for denoted document.
- OMDocPrefix - Static variable in class fmrisc.ProofNavigator.State
-
- OMDocURI - Static variable in class fmrisc.ProofNavigator.State
-
- one - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.IntLiteral
-
- open() - Method in class fmrisc.ProgramExplorer.Semantics.TCCGenerator
-
Open a new subcontext.
- open() - Method in class fmrisc.ProgramExplorer.SWT.TopWindow
-
Open shell and perform initial processing of packages.
- 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.ProofNavigator.Proving.ProofState
-
open the state.
- open() - Method in class fmrisc.ProofNavigator.Semantics.Context
-
open a new subcontext
subcontexts may be arbitrarily nested; every subcontext must be
ultimately either aborted or commited.
- open() - Method in class fmrisc.ProofNavigator.SWT.Question
-
Pose question.
- OpenMath - Class in fmrisc.ProofNavigator.Communication
-
Conversion of AST objects (excluding declarations)
from/to OpenMath representation.
- OpenMath() - Constructor for class fmrisc.ProofNavigator.Communication.OpenMath
-
- OpenMathPrefix - Static variable in class fmrisc.ProofNavigator.State
-
- OpenMathURI - Static variable in class fmrisc.ProofNavigator.State
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.AndFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.BitAndTerm
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.BitNegationTerm
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.BitOrTerm
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.DividesTerm
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.EqualsFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.EquivalentFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.GreaterEqualFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.GreaterFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.ImpliesFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.LessEqualFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.LessFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.MinusTerm
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.NegationTerm
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.NotEqualsFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.NotEquivalentFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.NotFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.OrFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.PlusTerm
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.PostfixApplication
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.PowerTerm
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.SimilarFormula
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Logic.TimesTerm
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.AndExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.DividesExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.EqualsExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.GreaterEqualExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.GreaterExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.LessEqualExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.LessExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.MinusExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.NegationExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.NotEqualsExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.NotExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.OrExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.PercentExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.PlusExpression
-
- operator - Static variable in class fmrisc.ProgramExplorer.Syntax.Program.TimesExpression
-
- 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.
- OrExpression - Class in fmrisc.ProgramExplorer.Syntax.Program
-
A logical disjunction.
- orFormula(Formula, Formula) - Static method in class fmrisc.ProgramExplorer.Judgements.Satisfies
-
Combine formulas by disjunction.
- OrFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
A logical disjunction.
- orFormula(Expression, Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
-
construct disjunction with components base1 and base2
- OrFormula - Class in fmrisc.ProofNavigator.Syntax
-
Handling of disjunctions.
- OrFormula(Expression, Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.OrFormula
-
construct disjunction with components base1 and base2