|
|
@ -25,10 +25,13 @@ |
|
|
|
extern log4cplus::Logger logger; |
|
|
|
|
|
|
|
// Forward declaration for adapter classes. |
|
|
|
namespace storm { namespace adapters{ class GmmxxAdapter; } } |
|
|
|
|
|
|
|
namespace storm { |
|
|
|
namespace adapters{ |
|
|
|
class GmmxxAdapter; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
namespace storm { |
|
|
|
namespace storage { |
|
|
|
|
|
|
|
/*! |
|
|
@ -91,7 +94,8 @@ public: |
|
|
|
* Constructs a square sparse matrix object with the given number rows |
|
|
|
* @param size The number of rows and cols in the matrix |
|
|
|
*/ |
|
|
|
SparseMatrix(uint_fast64_t size) : rowCount(size), colCount(size), nonZeroEntryCount(0), |
|
|
|
SparseMatrix(uint_fast64_t size) |
|
|
|
: rowCount(size), colCount(size), nonZeroEntryCount(0), |
|
|
|
internalStatus(MatrixStatus::UnInitialized), currentSize(0), lastRow(0) { } |
|
|
|
|
|
|
|
//! Copy Constructor |
|
|
@ -318,7 +322,6 @@ public: |
|
|
|
throw storm::exceptions::OutOfRangeException("Trying to add a value at illegal position."); |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
// If we switched to another row, we have to adjust the missing |
|
|
|
// entries in the row_indications array. |
|
|
|
if (row != lastRow) { |
|
|
|