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

O

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
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 
Skip navigation links