예제 #1
0
        public static int RemoveSimpleAccess(Tmp t, TmpStruct tstruct, int[] p)
        {
            Contract.Requires(t != null);
            Contract.Requires(p != null);

            int sum = 0;

            for (var i = 0; i < t.arr.Length; i++)
            {
                sum += t.arr[i];
            }

            for (var i = 0; i < tstruct.arr.Length; i++)
            {
                sum += tstruct.arr[i];
            }

            for (var i = 0; i < p.Length; i++)
            {
                sum += p[i];
            }

            return(sum);
        }
예제 #2
0
    public static int RemoveSimpleAccess(Tmp t, TmpStruct tstruct, int[] p)
    {
      Contract.Requires(t != null);
      Contract.Requires(p != null);

      int sum = 0;
      for (var i = 0; i < t.arr.Length; i++)
      {
        sum += t.arr[i];
      }

      for (var i = 0; i < tstruct.arr.Length; i++)
      {
        sum += tstruct.arr[i];
      }

      for (var i = 0; i < p.Length; i++)
      {
        sum += p[i];
      }

      return sum;
    }