C# (CSharp) Dafny MultiSet.IsSubsetOf Exemples

Exemple #1

 public bool IsSupersetOf(MultiSet <T> other)
 {
     return(other.IsSubsetOf(this));
 }

Exemple #2

 public bool Equals(MultiSet <T> other)
 {
     return(other.IsSubsetOf(this) && this.IsSubsetOf(other));
 }