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

Packages that use Substitution.Action

Package	Description
fmrisc.ProgramExplorer.Judgements

Uses of Substitution.Action in fmrisc.ProgramExplorer.Judgements

Fields in fmrisc.ProgramExplorer.Judgements declared as Substitution.Action

Modifier and Type	Field and Description
Substitution.Action	Substitution.Value.postAction
Substitution.Action	Substitution.Value.preAction

Methods in fmrisc.ProgramExplorer.Judgements that return Substitution.Action

Modifier and Type	Method and Description
static Substitution.Action	Substitution.Action.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Substitution.Action[]	Substitution.Action.values() Returns an array containing the constants of this enum type, in the order they are declared.

Constructors in fmrisc.ProgramExplorer.Judgements with parameters of type Substitution.Action

Constructor and Description
Value(Substitution.Action preAction, Term preTerm, Substitution.Action postAction, Term postTerm) Describe the substitution result of a program variable.