FiniteSet.cs

using System;
using System.Collections;
using System.Collections.Generic;
using DotNetTransformer.Extensions;

namespace DotNetTransformer.Math.Set {
	public abstract partial class FiniteSet<T> : IFiniteSet<T>
		where T : IEquatable<T>
	{
		public abstract long Count { get; }
		public virtual bool Contains(T item) {
			return this.Exist<T>(e => e.Equals(item));
		}
		public abstract IEnumerator<T> GetEnumerator();
		IEnumerator IEnumerable.GetEnumerator() {
			return GetEnumerator();
		}
		public virtual bool Equals(IFiniteSet<T> other) {
			return ReferenceEquals(this, other) || (
				!ReferenceEquals(other, null)
				&& Count == other.Count
				&& !this.Exist<T>(e => !other.Contains(e))
				&& !other.Exist<T>(e => !Contains(e))
			);
		}
		public override sealed bool Equals(object obj) {
			return Equals(obj as IFiniteSet<T>);
		}
		public override int GetHashCode() {
			int hash = 0;
			foreach(T item in this)
				hash ^= item.GetHashCode();
			long c = Count;
			return hash ^ (int)(c >> 32 ^ c);
		}
		public virtual bool IsSubsetOf(ISet<T> other) {
			IFiniteSet<T> o = other as IFiniteSet<T>;
			if(o != null) return IsSubsetOf(o);
			return ReferenceEquals(this, other) || (
				!ReferenceEquals(other, null)
				&& !this.Exist<T>(e => !other.Contains(e))
			);
		}
		public virtual bool IsSubsetOf(IFiniteSet<T> other) {
			return ReferenceEquals(this, other) || (
				!ReferenceEquals(other, null)
				&& Count <= other.Count
				&& !this.Exist<T>(e => !other.Contains(e))
			);
		}
		public virtual bool IsSupersetOf(IFiniteSet<T> other) {
			return ReferenceEquals(this, other) || (
				!ReferenceEquals(other, null)
				&& Count >= other.Count
				&& !other.Exist<T>(e => !Contains(e))
			);
		}

		public static bool operator ==(FiniteSet<T> l, IFiniteSet<T> r) {
			return ReferenceEquals(l, r) || (
				!ReferenceEquals(l, null) &&
				l.Equals(r)
			);
		}
		public static bool operator !=(FiniteSet<T> l, IFiniteSet<T> r) {
			return !(l == r);
		}
	}
}