BitVectorMutator mutator = BitVectorMutator.empty();
for (ReadWriteEnd wireArrayEnd : inputs)
mutator.join(wireArrayEnd.getInputValues());
- setNewValues(mutator.get());
+ setNewValues(mutator.toBitVector());
}
private void setNewValues(BitVector newValues)
continue;
mutator.join(wireEnd.inputValues);
}
- return mutator.get();
+ return mutator.toBitVector();
}
@Override