ASPL Manual v 1.00
© 2024 by SetSphere.COM


13. 24
   common keeps common set variables grplb from a set variable

 

logo

common a1 [a2 .. aN] in targetvar      where a1 [a2 .. aN] targetvar are set variables

find the common labeled groups in a1 a2 .. aN found in targetvar and push result on the stack

common  setoid  1*t          ins:H_H_H  ous:H_H_H

●  Operator common keeps common set variables grplb from a set variable

Use the common operator to get the common labeled groups found in a set variable.

 

common EXAMPLE

The following example shows how to get the common labeled group of a set variable.

 

common OPERATION

aspl WS1
    (start ASPL loading the sample workspace WS1)

①  aspl> tattler 1
    (enable the tattler)

②  aspl> a123 = gU a1 a2 a3
    (a123 is assigned the group union of a1 a2 a3)

③  aspl> v
    (print the symbol table)

④  aspl> common a1 a3 in a123
    (get the common labeled groups of a1 and a3 found in a123 and push the result on the stack)

⑤  aspl> ans
    (print the answer stack, top of stack has the common labeled group)

⑥  aspl> pop commona13
    (pop the top of stack into set variable commona13)

⑦  aspl> v
    (print the set variables symbol table)

⑧  aspl> a13 = gU a1 a3
    (a13 is assigned the group union of a1 a3)

⑨  aspl> equal a13 commona13
    (check equality a13 and commona13)