C# (CSharp) IT.ToStringN Examples

Example #1

File: FreeClauseEC.cs Project: uriJuhasz/Boogie_verifier

 public override int CompareTo(IT other)
 {
     return(other.ToStringN().CompareTo(ToStringN()));
 }

Example #2

 public virtual int CompareTo(IT other)
 {
     return(ToStringN().CompareTo(other.ToStringN()));
 }