Functions | |
| template<typename Strat > | |
| all_selector< Strat > | aurelia::all (const Strat &s) |
| Applies the strategy to all the subterms. | |
| template<typename S > | |
| alltd_strategy< S > | aurelia::alltd (const S &s) |
| Traverses topdown until the strategy succeeds. | |
| template<typename S > | |
| bottomup_strategy< S > | aurelia::bottomup (const S &s) |
| Apply the strategy bottomup. | |
| template<typename S > | |
| innermost_strategy< S > | aurelia::innermost (const S &s) |
| Apply the strategy to fixpoint innermost first. | |
| template<typename Strat > | |
| one_strategy< Strat > | aurelia::one (const Strat &s) |
| Applies the strategy to one subterm. | |
| template<typename S > | |
| topdown_strategy< S > | aurelia::topdown (const S &s) |
| Apply the strategy topdown. | |