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 _ 

U

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
 
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