Power set: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
| Line 198: | Line 198: | ||
changing powerset type ref to set. |
changing powerset type ref to set. |
||
data(powerset_elements) = |
data(powerset_elements) = value stringtab( ( `` ) ). |
||
when set->contains_element( `∅` ) |
|||
then value stringtab( ( `` ) ( `∅` ) ) |
|||
else value stringtab( ( `` ) ) ). |
|||
loop at set->get_elements( ) into data(element). |
loop at set->get_elements( ) into data(element). |
||