Uses of Class
fmrisc.ProgramExplorer.Judgements.Substitution.Value

Packages that use Substitution.Value

Package	Description
fmrisc.ProgramExplorer.Judgements

Uses of Substitution.Value in fmrisc.ProgramExplorer.Judgements

Method parameters in fmrisc.ProgramExplorer.Judgements with type arguments of type Substitution.Value

Modifier and Type	Method and Description
static Expression	Substitution.perform(Expression exp, Term oldStateTerm, Term newStateTerm, java.util.Map<VariableSymbol,Substitution.Value> vars) Create a copy of expression with the denoted substitutions performed.