示例#1
0
文件: Word.cs 项目: sm-g/diagnosis
 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);
 }
示例#2
0
        public CritWords(CritBase cr, Word w)
        {
            Contract.Requires(cr != null);
            Contract.Requires(w != null);

            Crit = cr;
            Word = w;
        }