Uses of Class
fmrisc.ProgramExplorer.Syntax.ASTCloner

Packages that use ASTCloner

Package	Description
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Semantics

Uses of ASTCloner in fmrisc.ProgramExplorer.Judgements

Subclasses of ASTCloner in fmrisc.ProgramExplorer.Judgements

Modifier and Type	Class and Description
class	ExpSubstitution The expression substitution P[E1/E2]
class	Normalization Normalize a specification formula with respect to the set of modified variables.
class	RefSubstitution Reference substitution P[T1/I1,...]
class	Simplification Simplify a specification formula to make it easier understandable.
class	Simplification2 Post-processing of a specification formula to make it easier understandable.
class	Substitution The program variable substitution P[U1/VAR x,...]

Uses of ASTCloner in fmrisc.ProgramExplorer.Semantics

Subclasses of ASTCloner in fmrisc.ProgramExplorer.Semantics

Modifier and Type	Class and Description
class	PostStateCloner Clone a formula transforming all state references to the post-state.
class	PreStateCloner Clone a formula transforming all state references to the pre-state.
class	ReferenceCloner Clone an expression transforming all references to certain symbols.
class	TypeCloner Clone a type expression transforming references to certain symbols.