Power set: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 198:
changing powerset type ref to set.
 
data(powerset_elements) = condvalue stringtab( ( `` ) ).
when set->contains_element( `∅` )
then value stringtab( ( `` ) ( `∅` ) )
else value stringtab( ( `` ) ) ).
 
loop at set->get_elements( ) into data(element).
Anonymous user