public override string /*!*/ ToString(Element /*!*/ e) { //Contract.Requires(e != null); Contract.Ensures(Contract.Result <string>() != null); return(lattice.ToString(e)); }
public override string /*!*/ ToString(Element /*!*/ e) { //Contract.Requires(e != null); Contract.Ensures(Contract.Result <string>() != null); return(lattice.ToString(e)); }