Closed Wikunia closed 5 years ago
A variable can only be fixed by removing all other possibilities but not directly. This is the case because we have the first_ptr which doesn't change in reverse_pruning. We need to have two pruning vectors to be able to handle that.
first_ptr
reverse_pruning
A variable can only be fixed by removing all other possibilities but not directly. This is the case because we have the
first_ptr
which doesn't change inreverse_pruning
. We need to have two pruning vectors to be able to handle that.