Commit dd4850b5 authored by Davis King's avatar Davis King

Fixed tabbing

parent 70e767bf
...@@ -1368,27 +1368,28 @@ namespace dlib { namespace tt ...@@ -1368,27 +1368,28 @@ namespace dlib { namespace tt
resizable_tensor accum_buffer; resizable_tensor accum_buffer;
}; };
// ----------------------------------------------------------------------------------------
// ----------------------------------------------------------------------------------------
void copy_tensor(
tensor& dest, void copy_tensor(
size_t dest_k_offset, tensor& dest,
const tensor& src, size_t dest_k_offset,
size_t src_k_offset, const tensor& src,
size_t count_k size_t src_k_offset,
); size_t count_k
/*! );
requires /*!
- dest.nc() == src.nc() requires
- dest.nr() == src.nr() - dest.nc() == src.nc()
- dest.num_samples() == src.num_samples() - dest.nr() == src.nr()
- dest.k() - dest_k_offset >= count_k - dest.num_samples() == src.num_samples()
- src.k() - src_k_offset >= count_k - dest.k() - dest_k_offset >= count_k
- is_same_object(dest,src) == false - src.k() - src_k_offset >= count_k
ensures - is_same_object(dest,src) == false
- performs: dest[i, k + dest_k_offset, r, c] = src[i, k + src_k_offset, r, c], where k in [0..count_k] ensures
Copies content of each sample from src in to corresponding place of sample at dest. - performs: dest[i, k + dest_k_offset, r, c] = src[i, k + src_k_offset, r, c], where k in [0..count_k]
!*/ Copies content of each sample from src in to corresponding place of sample at dest.
!*/
// ---------------------------------------------------------------------------------------- // ----------------------------------------------------------------------------------------
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment