| File | NarrowingReference.str |
| Author | Martin Bravenboer <martin@cs.uu.nl> |
| Since | unknown |
5.1.6: Narrowing Reference Conversions
| General | |
| Lines of code | 54 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 7 (42% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| is-narrowing-reference-convertable(ATerm t) | n/a | NarrowingReference.str |
| is-narrowing-reference-convertable(ATerm to) | n/a | NarrowingReference.str |
| is-narrowing-reference-convertable(ATerm to) | n/a | NarrowingReference.str |
| is-narrowing-reference-convertable(ATerm to) | n/a | NarrowingReference.str |
| is-narrowing-reference-convertable(ATerm to) | n/a | NarrowingReference.str |
| is-narrowing-reference-convertable(ATerm to) | n/a | NarrowingReference.str |
| is-narrowing-reference-convertable(ATerm to) | n/a | NarrowingReference.str |
Strategy details |
|||||||||||
| ATerm | is-narrowing-reference-convertable(ATerm to) | ||||||||||
No information available.
|
|||||||||||
| ATerm | is-narrowing-reference-convertable(ATerm to) | ||||||||||
No information available.
|
|||||||||||
| ATerm | is-narrowing-reference-convertable(ATerm to) | ||||||||||
No information available.
|
|||||||||||