Uses of Class
fmrisc.ProgramExplorer.Syntax.Logic.PreVariable

Packages that use PreVariable

Package	Description
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Logic

Uses of PreVariable in fmrisc.ProgramExplorer.Judgements

Methods in fmrisc.ProgramExplorer.Judgements that return PreVariable

Modifier and Type	Method and Description
static PreVariable	Satisfies.preVariable(Name name) Construct a pre-variable.

Methods in fmrisc.ProgramExplorer.Judgements with parameters of type PreVariable

Modifier and Type	Method and Description
void	Normalization.visit(PreVariable exp) Replace poststate variable by prestate variable if it does not appear in the set of modifiable variables.
void	Substitution.visit(PreVariable exp) Substitute expression.

Uses of PreVariable in fmrisc.ProgramExplorer.Semantics

Methods in fmrisc.ProgramExplorer.Semantics with parameters of type PreVariable

Modifier and Type	Method and Description
void	PostStateCloner.visit(PreVariable tree)

Uses of PreVariable in fmrisc.ProgramExplorer.Syntax

Methods in fmrisc.ProgramExplorer.Syntax with parameters of type PreVariable

Modifier and Type	Method and Description
void	ASTVisitor.visit(PreVariable tree)
void	ASTCloner.visit(PreVariable tree)
void	ASTVisitorBase.visit(PreVariable tree)

Uses of PreVariable in fmrisc.ProgramExplorer.Syntax.Logic

Methods in fmrisc.ProgramExplorer.Syntax.Logic that return PreVariable

Modifier and Type	Method and Description
static PreVariable	PreVariable.construct(Name name) Construct a reference to a program variable in the pre-state.