()
| 656 | |
| 657 | // Swap inputs without letting either input go dead during the swap. |
| 658 | public Node swap12() { |
| 659 | unlock(); // Hash is order dependent |
| 660 | _inputs.swap(1,2); |
| 661 | return this; |
| 662 | } |
| 663 | |
| 664 | /** |
| 665 | * Does this node contain all constants? Ignores in(0), as is usually |