equal
deleted
inserted
replaced
1431 if (((needed & x.getMask()) != 0) && x.impliesIgnoreMask(np)) { |
1431 if (((needed & x.getMask()) != 0) && x.impliesIgnoreMask(np)) { |
1432 effective |= x.getMask(); |
1432 effective |= x.getMask(); |
1433 if ((effective & desired) == desired) { |
1433 if ((effective & desired) == desired) { |
1434 return true; |
1434 return true; |
1435 } |
1435 } |
1436 needed = (desired ^ effective); |
1436 needed = (desired & ~effective); |
1437 } |
1437 } |
1438 } |
1438 } |
1439 return false; |
1439 return false; |
1440 } |
1440 } |
1441 |
1441 |