- UnaryExpression - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
Base class of unary expressions.
- UnaryExpression - Class in fmrisc.ProofNavigator.Syntax
-
Abstract base class of unary expressions
- UnaryExpression(String, Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.UnaryExpression
-
constructs binary expression from op and base
- UnaryFormula - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
Base class of unary formulas.
- UnaryTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
Base class of unary terms.
- UnaryValueExpression - Class in fmrisc.ProgramExplorer.Syntax.Program
-
The base class of unary expressions denoting values.
- UNDERSCORE - Static variable in class fmrisc.ProofNavigator.PN2Lexer
-
- UNDERSCORE - Static variable in class fmrisc.ProofNavigator.PN2Parser
-
- UNDERSCORE - Static variable in interface fmrisc.ProofNavigator.PNParserTokenTypes
-
- Undo - Class in fmrisc.ProofNavigator.Commands
-
The "undo" command: goto a closed proof state and undo its proof.
- Undo(String) - Constructor for class fmrisc.ProofNavigator.Commands.Undo
-
create a "undo" command
- uniqueName(Name) - Static method in class fmrisc.ProgramExplorer.Syntax.NameUtils
-
Get unique name by adding optional prefix.
- uniqueName(VariableSymbol) - Static method in class fmrisc.ProgramExplorer.Syntax.NameUtils
-
Get unique reference to program variable.
- UniqueNameTable - Class in fmrisc.ProofNavigator.Syntax
-
Table used to create unique names from given names.
- UniqueNameTable() - Constructor for class fmrisc.ProofNavigator.Syntax.UniqueNameTable
-
Create empty name table.
- UniqueNameTable(Environment) - Constructor for class fmrisc.ProofNavigator.Syntax.UniqueNameTable
-
Create name table such that no generated name conflicts with any
value identifier in the given environment.
- unit() - Method in class fmrisc.ProgramExplorer.Parser.MiniJavaParser
-
- unitspec(UnitSpec) - Method in class fmrisc.ProgramExplorer.Parser.SpecLangParser
-
- UnitSpec - Class in fmrisc.ProgramExplorer.Syntax.Spec
-
A unit specification.
- UnknownAnswer - Class in fmrisc.ProofNavigator.Proving
-
Answer that truth of formula is unknown.
- UnknownAnswer(String) - Constructor for class fmrisc.ProofNavigator.Proving.UnknownAnswer
-
Create answer that truth of formula is unknown with denoted justification.
- untransform(Expression) - Method in class fmrisc.ProofNavigator.Proving.CVCL.CVCL
-
Perform backward transformation performed by CVCLTransformer.
- untransformApplication(ApplicationExpression) - Method in class fmrisc.ProofNavigator.Proving.CVCL.CVCL
-
Get original value of function application.
- untransformReference(Reference) - Method in class fmrisc.ProofNavigator.Proving.CVCL.CVCL
-
Get original value of reference.
- update(File) - Method in class fmrisc.ProgramExplorer.SWT.FileTree
-
A new file may have been created, update view.
- update(Runnable) - Method in class fmrisc.ProgramExplorer.SWT.MainSWT
-
Execute display update request on behalf of application.
- update - Variable in class fmrisc.ProgramExplorer.Syntax.Program.ForLoopStatement
-
- updateDeclarations() - Method in class fmrisc.ProofNavigator.Communication.Presenter
-
Update the declarations written so far (rewriting the declaration file).
- updateMenu() - Static method in class fmrisc.ProofNavigator.SWT.MainSWT
-
Updates menu depending on current system state.
- updateMenu() - Method in class fmrisc.ProofNavigator.SWT.Top
-
Update menu depending on current system state.
- UpdateTerm - Class in fmrisc.ProgramExplorer.Syntax.Logic
-
A term from which a component is updated.
- updateTerm(Expression, Selector[], Expression) - Static method in class fmrisc.ProofNavigator.Syntax.Construct
-
construct component update by index selection from base, base2, and base3
- UpdateTerm - Class in fmrisc.ProofNavigator.Syntax
-
Handling of component updates by index selection.
- UpdateTerm(Expression, Selector[], Expression) - Constructor for class fmrisc.ProofNavigator.Syntax.UpdateTerm
-
construct component update by index selection from base, base2, and base3
- useAutoSimplify() - Method in class fmrisc.ProofNavigator.Proving.ProofState
-
get automatic simplification status of proof state
- useAutoSimplify() - Static method in class fmrisc.ProofNavigator.State
-
Is automatic simplification used?
- useBigFont() - Static method in class fmrisc.ProofNavigator.State
-
Get font size.
- UsedVariables - Class in fmrisc.ProgramExplorer.Semantics
-
Compute the (logic) variables/constants used in an expression.
- Util - Class in fmrisc.ProgramExplorer
-
Some utility functionality.
- Util() - Constructor for class fmrisc.ProgramExplorer.Util
-