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

U

UnaryExpression - Class in fmrisc.Syntax

Abstract base class of unary expressions

UnaryExpression(String, Expression) - Constructor for class fmrisc.Syntax.UnaryExpression

constructs binary expression from op and base

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

UniqueNameTable - Class in fmrisc.Syntax

Table used to create unique names from given names.

UniqueNameTable() - Constructor for class fmrisc.Syntax.UniqueNameTable

Create empty name table.

UniqueNameTable(Environment) - Constructor for class fmrisc.Syntax.UniqueNameTable

Create name table such that no generated name conflicts with any value identifier in the given environment.

UnknownAnswer - Class in fmrisc.Proving

Answer that truth of formula is unknown.

UnknownAnswer(String) - Constructor for class fmrisc.Proving.UnknownAnswer

Create answer that truth of formula is unknown with denoted justification.

updateDeclarations() - Method in class fmrisc.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(Expression, Selector[], Expression) - Static method in class fmrisc.Syntax.Construct

construct component update by index selection from base, base2, and base3

UpdateTerm - Class in fmrisc.Syntax

Handling of component updates by index selection.

UpdateTerm(Expression, Selector[], Expression) - Constructor for class fmrisc.Syntax.UpdateTerm

construct component update by index selection from base, base2, and base3

useAutoSimplify() - Static method in class fmrisc.ProofNavigator.State

Is automatic simplification used?

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

get automatic simplification status of proof state

useBigFont() - Static method in class fmrisc.ProofNavigator.State

Get font size.