The Stratego simplifier is applied at several times by the [[Stratego optimizer]]. 
The simplifier reduces strategy expressions by means of a large number of simple
rewrite rules using innermost rewriting.

Simplifier

	* [[%SVNSTRATEGOXT%/trunk/StrategoXT/sc/spec/opt/simplify1.str][simplify1]]

Rules

	* [[%SVNSTRATEGOXT%/trunk/StrategoXT/sc/spec/opt/stratego-laws.str][stratego-laws]]
	* [[%SVNSTRATEGOXT%/trunk/StrategoXT/sc/spec/opt/idfail-laws.str][idfail-laws]]
	* [[%SVNSTRATEGOXT%/trunk/StrategoXT/sc/spec/opt/congruence-laws.str][congruence-laws]]
	* [[%SVNSTRATEGOXT%/trunk/StrategoXT/sc/spec/opt/build-match-laws.str][build-match-laws]]
	* [[%SVNSTRATEGOXT%/trunk/StrategoXT/sc/spec/opt/traversal-laws.str][traversal-laws]]
	* [[%SVNSTRATEGOXT%/trunk/StrategoXT/sc/spec/opt/bind-laws.str][bind-laws]]
	* [[%SVNSTRATEGOXT%/trunk/StrategoXT/sc/spec/opt/scope-laws.str][scope-laws]]

-- Main.EelcoVisser - 18 Aug 2003