(a, B)
| 13347 | } |
| 13348 | |
| 13349 | function enclosesWeakAll(a, B) { |
| 13350 | for (var i = 0; i < B.length; ++i) { |
| 13351 | if (!enclosesWeak(a, B[i])) { |
| 13352 | return false; |
| 13353 | } |
| 13354 | } |
| 13355 | return true; |
| 13356 | } |
| 13357 | |
| 13358 | function encloseBasis(B) { |
| 13359 | switch (B.length) { |
no test coverage detected