|
|
@ -68,10 +68,10 @@ public: |
|
|
|
|
|
|
|
// Move Row Indications |
|
|
|
result->jc.~vectorType_ull_t(); // Call Destructor inplace |
|
|
|
new (&result->jc) vectorType_ull_t(std::move(storm::utility::ConversionHelper::toUnsignedLongLong(&matrix.rowIndications))); |
|
|
|
new (&result->jc) vectorType_ull_t(std::move(*storm::utility::ConversionHelper::toUnsignedLongLong(&matrix.rowIndications))); |
|
|
|
// Move Columns Indications |
|
|
|
result->ir.~vectorType_ull_t(); // Call Destructor inplace |
|
|
|
new (&result->ir) vectorType_ull_t(std::move(storm::utility::ConversionHelper::toUnsignedLongLong(&matrix.columnIndications))); |
|
|
|
new (&result->ir) vectorType_ull_t(std::move(*storm::utility::ConversionHelper::toUnsignedLongLong(&matrix.columnIndications))); |
|
|
|
// And do the same thing with the actual values. |
|
|
|
result->pr.~vectorType_T_t(); // Call Destructor inplace |
|
|
|
new (&result->pr) vectorType_T_t(std::move(matrix.valueStorage)); |
|
|
|