Commit 8390ca92 authored by Davis King's avatar Davis King

Clarified spec

parent bc11e397
...@@ -118,6 +118,7 @@ namespace dlib ...@@ -118,6 +118,7 @@ namespace dlib
requires requires
- EXP::type == unsigned long - EXP::type == unsigned long
(i.e. y contains unsigned longs) (i.e. y contains unsigned longs)
- reject_labeling(x,y,position) == false
- position < x.size() - position < x.size()
- y.size() == min(position, order) + 1 - y.size() == min(position, order) + 1
- is_vector(y) == true - is_vector(y) == true
......
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