Uses of Package
fmrisc.ProgramExplorer.Judgements

Packages that use fmrisc.ProgramExplorer.Judgements

Package	Description
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.Judgements
fmrisc.ProgramExplorer.Semantics
fmrisc.ProgramExplorer.Syntax
fmrisc.ProgramExplorer.Syntax.Program

Classes in fmrisc.ProgramExplorer.Judgements used by fmrisc.ProgramExplorer.InOut

Class and Description
StatJudgement A statement judgement.

Classes in fmrisc.ProgramExplorer.Judgements used by fmrisc.ProgramExplorer.Judgements

Class and Description
ExpressionLogic
Satisfies The judgement "se, Is, VS |- C: F"
Simplification.Tag The following simplifications are implemented: o Some "quasi-normalization": (A /\ B) /\ C to A /\ (B /\ C) (A \/ B) \/ C to A \/ (B \/ C) A imp (B imp C) to (A /\ B) imp C This simplifies pretty-printing and further processing.
StatJudgement A statement judgement.
Substitution.Action
Substitution.Value The substitution for a reference to a program variable.

Classes in fmrisc.ProgramExplorer.Judgements used by fmrisc.ProgramExplorer.Semantics

Class and Description
Satisfies The judgement "se, Is, VS |- C: F"
StatJudgement A statement judgement.

Classes in fmrisc.ProgramExplorer.Judgements used by fmrisc.ProgramExplorer.Syntax

Class and Description
StatJudgement A statement judgement.

Classes in fmrisc.ProgramExplorer.Judgements used by fmrisc.ProgramExplorer.Syntax.Program

Class and Description
StatJudgement A statement judgement.