Class AlloySkolem

Returns true if the set is empty, false if it is not.

Returns true if this set is equivalent to the provided set, false otherwise.

Returns true if this set is a subset of the provided set, false otherwise.

Perform a join operation with another set. This operation is equivalent to the dot join operator in Alloy, in which this set is on the left side of the dot and that set is on the right side.

Create a printable string representation of this set.

Get an array of all tuples in this set.