Deprecate SizeInfo class and header
This is no longer needed, because you can now directly call
vectorBackend.resize(globalBasis)
instead of vectorBackend.resize(sizeInfo(globalBasis))
.
This is no longer needed, because you can now directly call
vectorBackend.resize(globalBasis)
instead of vectorBackend.resize(sizeInfo(globalBasis))
.