|
@ -74,6 +74,10 @@ public: |
|
|
} |
|
|
} |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
//! Destructor |
|
|
|
|
|
/*! |
|
|
|
|
|
* Destructor. Frees the internal storage. |
|
|
|
|
|
*/ |
|
|
~BackwardTransitions() { |
|
|
~BackwardTransitions() { |
|
|
if (this->predecessor_list != NULL) { |
|
|
if (this->predecessor_list != NULL) { |
|
|
delete[] this->predecessor_list; |
|
|
delete[] this->predecessor_list; |
|
|