| File | substitution.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 65 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 5 (0% documented) |
| Rule number | 1 (0% documented) |
| DynamicRule number | 0 |
Strategy summary |
||
| subs-args | n/a | substitution.str |
| substitute(Strategy isvar, Strategy ren) | n/a | substitution.str |
| substitute(Strategy isvar) | n/a | substitution.str |
| substitute(Strategy isvar, Strategy varshape, Strategy bndvars, Strategy boundin, Strategy paste, Strategy ren) | n/a | substitution.str |
| substitute(Strategy isvar, Strategy varshape, Strategy bndvars, Strategy boundin, Strategy paste) | n/a | substitution.str |
Rule summary |
||
| SubsVar(Strategy isvar, Strategy mksbs) | n/a | substitution.str |