ASPL Guide to Operations v 1.00
© 2024 by SetSphere.COM


3. 3
   subset determines if a set is a subset of a set

 

logo

subset a1 a2       where a1 a2 are set variables

subset a1 a2 .. aN       where a1 a2 .. aN are set variables

subset  context  2  notcommu        ins:H_H_H  ret:context

●  Operator subset determines if a set is a subset of a set

Use the subset operator to determine if a set variable is a subset of another set variable. If the operator is followed by a series of set variables, then the subsetness is realized by going over each pair of set variables from left to right.

 

subset EXAMPLE1
The following example shows how to determine to what limit a directory has the same content as another directory. The directories may have common subdirectories and common files. The following operations are performed in the context of the sample workspace WS1.

 

subset OPERATION1

# aspl WS1
    (start ASPL loading WS1 workspace)

①  aspl> v
    (display the set variables)

②  aspl> mostly 80
    (set mostly acceptance to 80%)

③  aspl> looselysubset a2 a3
    (use loosely since group labels are different for different directory)

④  aspl> mostlyLooselySubset a2 a3
    (determine subsetness using the mostly amplifier )

 

subset EXAMPLE2
The following example shows how to use the subset operator by following it with a serie of set variables.

 

subset OPERATION2

①  aspl> u12 = gU a1 a2
    (u12 is assigned the group union of a1 and a2)

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

③  aspl> v d u123
    (view internals of set variable u123)

④  aspl> subset a1 u12 u123
    (determine if a1 is a subset of u12, and u12 is subset of u123)

 

● SUBSETNESS and its Amplifiers

This subset can be amplified by prefixing it with amplification syntax shown in the following table:

       a yellow note
Subset  determines if a set is a subset of a set or of a series of sets 
mostlySubset  determines if a set is mostly a subset of a set or of a series of sets 
looselySubset  determines if a set is loosely a subset of a set or of a series of sets 
mostlyLooselySubset  determines if a set is mostly loosely a subset of a set or of a series of sets 
noeattrSubset  determines if a set (ignoring the attributes) is a subset of a set or of a series of sets 
mostlyNoeattrSubset  determines if a set (ignoring the attributes) is mostly a subset of a set or of a series of sets 
looselyNoeattrSubset  determines if a set (ignoring the attributes) is loosely a subset of a set or of a series of sets 
mostlyLooselyNoeattrSubset  determines if a set (ignoring the attributes) is mostly loosely a subset of a set or of a series of sets 
(C)2024 ASPL Inc.