ASPL User's Guide v 1.00
© 2024 by SetSphere.COM
Four basic comparison operators are provided to compare set variables in ASPL: equal, subset, superset, and disjoint. All four of them are setadic operators and so are their derivatives. The derivative of a set comparison operator is the setop name suffixed with a syntaxic word so that the operator magnify or deminify the comparison operation carried by the operator.
If you have typed the command mostly at the ASPL prompt, you should realize that this command provides a percentage number that is used as an amplifier for the set comparison.
ASPL provides operators to do set comparison between your set variables, these operators are called setcomparison operators. These operators are: equal, subset, superset, and disjoint. A setcomparison operator can be amplified with one of two amplifiers: mostly and loosely. The mostly is a settable percentage using the 'mostly' command to allow ASPL setcomparison operators to do the set comparison based on a certain percentage. The loosely amplifier makes a loosely set comparisons at the elements level and by ignoring the group label and its subgroups. Furthemore, the set comparison can be done by ignoring the elements attributes; this is done simply by prefixing the comparison operator with 'noeattr'. At anytime you can type setcomparison at the ASPL prompt to get the summary of ASPL set comparison operators.
The following four sections explain the setness comparison operators along their amplifications.
■ SET EQUALITY and its Amplifiers
This equal can be amplified by prefixing it with amplification syntax shown in the following table:
a yellow note
| Equal | determines if two or more sets are equal |
| mostlyEqual | determines if two or more sets are mostly equal |
| looselyEqual | determines if two or more sets are loosely equal |
| mostlyLooselyEqual | determines if two or more sets are mostly loosely equal |
| noeattrEqual | determines if two or more sets (ignoring the attributes) are equal |
| mostlyNoeattrEqual | determines if two or more sets (ignoring the attributes) are equal |
| looselyNoeattrEqual | determines if two or more sets (ignoring the attributes) are mostly equal |
| mostlyLooselyNoeattrEqual | determines if two or more sets (ignoring the attributes) are mostly loosely equal |
■ 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 |
■ SUPERSETNESS and its Amplifiers
This superset can be amplified by prefixing it with amplification syntax shown in the following table:
a yellow note
| Superset | determines if a set is a superset of a set or of a series of sets |
| mostlySuperset | determines if a set is mostly a superset of a set or of a series of sets |
| looselySuperset | determines if a set is loosly a superset of a set or of a series of sets |
| mostlyLooselySuperset | determines if a set is mostly loosely a superset of a set or of a series of sets |
| noeattrSuperset | determines if a set (ignoring the attributes) is a superset of a set or of a series of sets |
| mostlyNoeattrSuperset | determines if a set (ignoring the attributes) is mostly a superset of a set or of a series of sets |
| looselyNoeattrSuperset | determines if a set (ignoring the attributes) is loosely a superset of a set or of a series of sets |
| mostlyLooselyNoeattrSuperset | determines if a set (ignoring the attributes) is mostly loosely a superset of a set or of a series of sets |
■ DISJOINTNESS and its Amplifiers
This disjoint can be amplified by prefixing it with amplification syntax shown in the following table:
a yellow note
| Disjoint | determines if two or more sets are disjoint |
| mostlyDisjoint | determines if two or more sets are mostly disjoint |
| looselyDisjoint | determines if two or more sets are loosely disjoint |
| mostlyLooselyDisjoint | determines if two or more sets are mostly loosely disjoint |
| noeattrDisjoint | determines if two or more sets (ignoring the attributes) are disjoint |
| mostlyNoeattrDisjoint | determines if two or more sets (ignoring the attributes) are mostly disjoint |
| looselyNoeattrDisjoint | determines if two or more sets (ignoring the attributes) are loosely disjoint |
| mostlyLooselyNoeattrDisjoint | determines if two or more sets (ignoring the attributes) are mostly loosely disjoint |