Пример #1
0
 public override string /*!*/ ToString(Element /*!*/ e)
 {
     //Contract.Requires(e != null);
     Contract.Ensures(Contract.Result <string>() != null);
     return(lattice.ToString(e));
 }