File | properties.str |
Author | unknown |
Since | unknown |
General | |
Lines of code | 69 |
Stratego | |
Module number | 1 (0% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 8 (75% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
is-inner-node | Succeeds if the current term has at least one direct subterm | properties.str |
is-leaf | Succeeds if the current term has no direct subterms | properties.str |
is-proper-subterm | Succeeds if the first argument (x) is a subterm of the second (y) and x is not y | properties.str |
is-proper-subterm-set | n/a | properties.str |
is-proper-superterm | Succeeds if the first argument (x) is a superterm of the second (y) and x is not y | properties.str |
is-proper-superterm-set | n/a | properties.str |
is-subterm | Succeeds if the first argument is a subterm of the second | properties.str |
is-superterm | Succeeds if the first argument (x) is a superterm of the second (y) | properties.str |
Strategy details |
|||||||||||
ATerm | is-inner-node | ||||||||||
Succeeds if the current term has at least one direct subterm.
|
|||||||||||
ATerm | is-leaf | ||||||||||
Succeeds if the current term has no direct subterms.
|
|||||||||||
ATerm | is-proper-subterm | ||||||||||
Succeeds if the first argument (x) is a subterm of the second (y) and x is not y.
|
|||||||||||
ATerm | is-proper-superterm | ||||||||||
Succeeds if the first argument (x) is a superterm of the second (y) and x is not y.
|
|||||||||||
ATerm | is-subterm | ||||||||||
Succeeds if the first argument is a subterm of the second. A term x is a subterm of a term y if x = yor if x is a subterm of one of the chuldren of y.
|
|||||||||||
ATerm | is-superterm | ||||||||||
Succeeds if the first argument (x) is a superterm of the second (y).
|
|||||||||||