Added missing requirement.

--HG--
extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%403455
This commit is contained in:
Davis King 2010-02-13 21:31:58 +00:00
parent 6eb0573148
commit 9280d6aa21
2 changed files with 2 additions and 0 deletions

View File

@ -87,6 +87,7 @@ namespace dlib
is_col_vector(alpha) &&
b.size() == alpha.size() &&
b.size() == Q.nr() &&
alpha.size() > 0 &&
min(alpha) >= 0 &&
eps > 0,
"\t void solve_qp_using_smo()"

View File

@ -27,6 +27,7 @@ namespace dlib
- is_col_vector(b) == true
- is_col_vector(alpha) == true
- b.size() == alpha.size() == Q.nr()
- alpha.size() > 0
- min(alpha) >= 0
- eps > 0
ensures