Example #1
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

        /// <summary>Determine if this set is an (improper) superset of another.
        /// </summary>
        /// <param name="other">the set we are testing against.
        ///
        /// </param>
        public virtual bool is_superset_of(terminal_set other)
        {
            not_null(other);
            return(other.is_subset_of(this));
        }
Example #2
0
 /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
 /// <summary>Determine if this set is an (improper) superset of another.
 /// </summary>
 /// <param name="other">the set we are testing against.
 /// 
 /// </param>
 public virtual bool is_superset_of(terminal_set other)
 {
     not_null(other);
     return other.is_subset_of(this);
 }