protected internal virtual void RemoveCrit(CritBase crit)
{
Contract.Requires(crit != null);
Contract.Requires(!crit.Words.Contains(this));
Contract.Ensures(!CrwHelper.Values.Contains(crit));
CrwHelper.Remove(crit);
}
public CritWords(CritBase cr, Word w)
{
Contract.Requires(cr != null);
Contract.Requires(w != null);
Crit = cr;
Word = w;
}