void ObjectInvariant()
{
IDisjointSet <T> ithis = this;
Contract.Invariant(0 <= ithis.SetCount);
Contract.Invariant(ithis.SetCount <= ithis.ElementCount);
}
T IDisjointSet <T> .FindSet(T value)
{
IDisjointSet <T> ithis = this;
//Contract.Requires(value != null);
//Contract.Requires(ithis.Contains(value));
return(default(T));
}
void IDisjointSet <T> .MakeSet(T value)
{
IDisjointSet <T> ithis = this;
//Contract.Requires(value != null);
//Contract.Requires(!ithis.Contains(value));
//Contract.Ensures(ithis.Contains(value));
//Contract.Ensures(ithis.SetCount == //Contract.OldValue(ithis.SetCount) + 1);
//Contract.Ensures(ithis.ElementCount == //Contract.OldValue(ithis.ElementCount) + 1);
}
bool IDisjointSet <T> .AreInSameSet(T left, T right)
{
IDisjointSet <T> ithis = this;
//Contract.Requires(left != null);
//Contract.Requires(right != null);
//Contract.Requires(ithis.Contains(left));
//Contract.Requires(ithis.Contains(right));
return(default(bool));
}
bool IDisjointSet <T> .Union(T left, T right)
{
IDisjointSet <T> ithis = this;
Contract.Requires(left != null);
Contract.Requires(ithis.Contains(left));
Contract.Requires(right != null);
Contract.Requires(ithis.Contains(right));
return(default(bool));
}
public InteractionMonitor(IDisjointSet <int> disjointSet)
{
_ds = disjointSet;
}
