properties

File properties.str
Author unknown
Since unknown
No information available.




Statistics


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
File properties.str
Author unknown
Since unknown
 

Succeeds if the current term has at least one direct subterm.


type a -> a

 
ATerm is-leaf
File properties.str
Author unknown
Since unknown
 

Succeeds if the current term has no direct subterms.


type a -> a

 
ATerm is-proper-subterm
File properties.str
Author unknown
Since unknown
 

Succeeds if the first argument (x) is a subterm of the second (y) and x is not y.


type (a, b) -> (a, b)

 
ATerm is-proper-superterm
File properties.str
Author unknown
Since unknown
 

Succeeds if the first argument (x) is a superterm of the second (y) and x is not y.


type (a, b) -> (a, b)

 
ATerm is-subterm
File properties.str
Author unknown
Since unknown
 

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.


type (a, b) -> (a, b)

 
ATerm is-superterm
File properties.str
Author unknown
Since unknown
 

Succeeds if the first argument (x) is a superterm of the second (y).


type (a, b) -> (a, b)