@{void} {size() const;} {Return the number of stored set elements.}@

@{Bool} {emptyQ() const;} {Return TRUE if there are no stored elements. }@

@{Bool} {memberQ(const Set<int* >& s) const;} {Return TRUE if $s$ is stored.}@

@{void} {insert_power(const Set<int*>& s, int k);} {Inserts UPOW(k) set into the
                           symbolic set.  I.e., all subsets of size k of s
                           are inserted.  If k = ALLK, then all subsets
                           are inserted.  If k = EXPLICIT, then s itself
                           is the only set inserted.}@

@{void} {remove(const Set<int*>& s);} {Remove $s$ from symbolic set.}@

@{void} {clear();}      {Remove all elements from symbolic set.}@

@{ostream&} {display(ostream&os);} 
                        { This
                         will be called when 
                        {\em operator<<(ostream&,Collection<Item>&)} 
                         is invoked. **BUT WHAT WILL IT DISPLAY IF THE
			SET IS SMALL? WHAT WILL IT DISPLAY IF THE SET
			IS TOO LARGE?**}@

@{SymbolicSet} {operator+(const SymbolicSet& s);}~
                { Construct the union of the current symbolic set and
                a given symbolic set.  $O(n^2)$}@

@{SymbolicSet} {operator+(const Set<int *>& set);}~
                { Construct the union of the current symbolic set and
                a given set of integers.  $O(n^2)$}@

@{SymbolicSet} {operator\^{}(const SymbolicSet& t);}~
                { Construct the intersection of the current symbolic set and
                $t$. $O(n^2)$}@

@{SymbolicSet} {operator\^{}(const Set<int *>& s);}~
                { Construct the intersection of the current symbolic set and
                $s$. $O(n^2)$}@

@{SymbolicSet} {operator-(const SymbolicSet& t);}~
                { Construct the difference between the current symbolic set
                and $t$. $O(n^2)$}@

@{SymbolicSet} {operator-(const Set<int *>& s);}~
                { Construct the difference between the current symbolic set
                and a set of integers, $s$. $O(n^2)$}@

 @{Bool}   {subsetQ(const SymbolicSet& t);}
                {Return TRUE if t is a subset of the current symbolic set.}@

 @{ostream&}          {display(ostream& os) const} 
                        { Display the symbloic set on the output stream $os$. 
                          $O(n)$}@