public static Multiset operator -(Multiset ms1, Multiset ms2)
{
Multiset ms = new Multiset();
ms.Add(ms1).Subtract(ms2);
return(ms);
}
public Multiset Clone()
{
Multiset clone = new Multiset();
foreach (KeyValuePair <string, int> kv in ms)
{
clone.Add(kv.Key, kv.Value);
}
return(clone);
}
public void AddRhs(Multiset ms)
{
rhs.Add(ms);
}