( Node use )
| 159 | // Return true if the output list is empty afterward. |
| 160 | // Error is 'use' does not exist; ok for 'use' to be null. |
| 161 | protected boolean delUse( Node use ) { |
| 162 | Utils.del(_outputs, Utils.find(_outputs, use)); |
| 163 | return _outputs.size() == 0; |
| 164 | } |
| 165 | |
| 166 | /** |
| 167 | * Kill a Node with no <em>uses</em>, by setting all of its <em>defs</em> |