| File | Instantiate.str |
| Author | Merijn de Jonge (mdjonge@cwi.nl) |
| Since | unknown |
| General | |
| Lines of code | 62 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 5 (0% documented) |
| Rule number | 5 (0% documented) |
| DynamicRule number | 0 |
Strategy summary |
||
| gpp-instantiate | n/a | Instantiate.str |
| gpp-instantiate(ATerm args) | n/a | Instantiate.str |
| gpp-Instantiate(ATerm args) | n/a | Instantiate.str |
| gpp-instantiate-list(ATerm pp-entry) | n/a | Instantiate.str |
| gpp-instantiate-sep-list(ATerm pp-entry) | n/a | Instantiate.str |
Rule summary |
||
| gpp-FastInstantiate(ATerm args) | n/a | Instantiate.str |
| gpp-FastInstantiate(ATerm args) | n/a | Instantiate.str |
| gpp-FastInstantiate(ATerm args) | n/a | Instantiate.str |
| gpp-SlowInstantiate(ATerm args) | n/a | Instantiate.str |
| gpp-SlowInstantiate(ATerm args) | n/a | Instantiate.str |