Browse Source

completed the renaming from topologicalValueIterationMinMaxSolver to TopologicalCudaMinMax...

tempestpy_adaptions
TimQu 7 years ago
parent
commit
b69543802d
  1. 2
      src/storm/solver/TopologicalCudaMinMaxLinearEquationSolver.h
  2. 4
      src/storm/storage/SparseMatrix.h

2
src/storm/solver/TopologicalCudaMinMaxLinearEquationSolver.h

@ -151,4 +151,4 @@ namespace storm {
} // namespace solver
} // namespace storm
#endif /* STORM_SOLVER_TOPOLOGICALVALUEITERATIONMINMAXLINEAREQUATIONSOLVER_H_ */
#endif /* STORM_SOLVER_TOPOLOGICALCUDAMINMAXLINEAREQUATIONSOLVER_H_ */

4
src/storm/storage/SparseMatrix.h

@ -27,7 +27,7 @@ namespace storm {
}
namespace solver {
template<typename T>
class TopologicalValueIterationMinMaxLinearEquationSolver;
class TopologicalCudaValueIterationMinMaxLinearEquationSolver;
}
}
@ -327,7 +327,7 @@ namespace storm {
friend class storm::adapters::GmmxxAdapter<ValueType>;
friend class storm::adapters::EigenAdapter;
friend class storm::adapters::StormAdapter;
friend class storm::solver::TopologicalValueIterationMinMaxLinearEquationSolver<ValueType>;
friend class storm::solver::TopologicalCudaValueIterationMinMaxLinearEquationSolver<ValueType>;
friend class SparseMatrixBuilder<ValueType>;
typedef SparseMatrixIndexType index_type;

Loading…
Cancel
Save