fmrisc.ProgramExplorer.Judgements

Classes

• ExpressionLogic
• ExpSubstitution
• Normalization
• Post
• Pre
• Propagator
• RefSubstitution
• Satisfies
• Simplification
• Simplification2
• StatJudgement
• Substitution
• Substitution.Value
• Terminates

Enums

• Simplification.Tag
• Substitution.Action