Commit d7dc8ae3 authored by Davis King's avatar Davis King

Fixed typo in spec

parent 9c5e66b4
...@@ -91,7 +91,7 @@ namespace dlib ...@@ -91,7 +91,7 @@ namespace dlib
- EXP::type == unsigned long - EXP::type == unsigned long
(i.e. y contains unsigned longs) (i.e. y contains unsigned longs)
- 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
- max(y) < num_labels() - max(y) < num_labels()
ensures ensures
...@@ -121,7 +121,7 @@ namespace dlib ...@@ -121,7 +121,7 @@ namespace dlib
(i.e. y contains unsigned longs) (i.e. y contains unsigned longs)
- reject_labeling(x,y,position) == false - 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
- max(y) < num_labels() - max(y) < num_labels()
- set_feature is a function object which allows expressions of the form: - set_feature is a function object which allows expressions of the form:
......
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