xor_sets
Description:
Constructs the exclusive-or of the two sets, returning null is empty.
The set returned by this operation contains the states in exactly one of the two sets.
Parameters:
| this |
an StateSet |
| compare_set |
another StateSet |
Returns:
|
a new StateSet which contains the states which are in exactly one of the two sets. |