|
Class Summary |
| SubArrayElement |
This class corresponds to the substitution of xxxelements with a
formula. |
| SubArrayElementSingle |
This class corresponds to the substitution of xxxelements with a
formula. |
| SubArrayLength |
This class corresponds to the substitution of arraylength with a
formula. |
| SubForm |
This class corresponds to the substitution of a formula by another. |
| SubInstancesSet |
This class corresponds to the substituion of instances with:
instances \/ f. |
| SubInstancesSingle |
This class corresponds to the substituion of instances with
instances \/ {f} corresponding to an instance creation. |
| SubMemberField |
This class implements a substitution of a member field a by
a <+ { b |-> c } corresponding to an affectation of a new value
for a given instance. |
| SubTmpVar |
This class corresponds to the substitution of a tempory variable with a
formula. |
| SubTypeofSet |
This interface describes a substitution of typeof by
typeof <+ f * {t} |
| SubTypeofSingle |
This interface describes a substitution of typeof by
typeof <+ {f |-> t} |