StatePriorityQueue.cpp

Go to the documentation of this file.

#include "storm/solver/stateelimination/StatePriorityQueue.h"
 
namespace storm {
namespace solver {
namespace stateelimination {
 
void StatePriorityQueue::update(storm::storage::sparse::state_type) {
    // Intentionally left empty.
}
 
}  // namespace stateelimination
}  // namespace solver
}  // namespace storm