ASPL Manual v 1.00
© 2024 by SetSphere.COM

13. 31

   *=* starassignstar assignment operator for binned set variables

 

binnedvar1 *=* binnedvar2       where binnedvar1 binnedvar2 are binned variables

starassignstar  asetoid  1*e          ins:H_H_AH  ous:H_H_AH

●  Operator *=* starassignstar assignment operator for binned set variables

Use the operator *=* to assign a binned variable to another binned variable. Binned variables, also called augmented set variables, are variables saved in the augmented symbol table, and they can be listed using the av command.

 

Example 13.31.1

*=* EXAMPLE

The following example shows the use of *=* operator.

 

Operation 13.31.1

*=* OPERATION

# aspl WS1
    (start ASPL loading WS1)

①  aspl> av
    (a12 is assigned the intersection of a1 a2)

②  aspl> X *=* aa1
    (starassignstar binned variable aa1 to X)

③  aspl> av
    (display aumented (or binned) symbol table)

④  aspl> av d X
    (display the internals of X)

⑤  aspl> f&& X aa1
    (intersect X and aa1)

⑥  aspl> ,f&& X aa1
    (labinate the intersect)