Пример #1
0
 public override bool IsTop(Element /*!*/ e)
 {
     //Contract.Requires(e != null);
     isTopCount++;
     return(lattice.IsTop(e));
 }