Category Glossary
Stratego -- Strategies for Program Transformation
- AlgebraicSignature
- CategoryGlossary
- CongruenceOperator
- ContextualRule
- CurrentSubjectTerm
- EvaluationOrder
- LeftChoice
- ListMatching
- MatchStrategy
- NonDeterministicChoice
- NormalForm
- RewriteRule
- RewritingStrategy
- StrategyDefinition
- TemplateBasedCodeGeneration
- TermAnnotation
- TransformationRule
CategoryCategory