From fd74476340172601e5a4d335559f9ccb79a63c79 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 13 Mar 2017 20:57:19 +0100
Subject: [PATCH] forgot to commit header file

---
 .../SymbolicEliminationLinearEquationSolver.h | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 src/storm/solver/SymbolicEliminationLinearEquationSolver.h

diff --git a/src/storm/solver/SymbolicEliminationLinearEquationSolver.h b/src/storm/solver/SymbolicEliminationLinearEquationSolver.h
new file mode 100644
index 000000000..cd7cd7ecf
--- /dev/null
+++ b/src/storm/solver/SymbolicEliminationLinearEquationSolver.h
@@ -0,0 +1,19 @@
+#pragma once
+
+#include "storm/solver/SymbolicLinearEquationSolver.h"
+
+namespace storm {
+    namespace solver {
+        
+        template<storm::dd::DdType DdType, typename ValueType = double>
+        class SymbolicEliminationLinearEquationSolver : public SymbolicLinearEquationSolver<DdType, ValueType> {
+        public:
+            SymbolicEliminationLinearEquationSolver(storm::dd::Add<DdType, ValueType> const& A, storm::dd::Bdd<DdType> const& allRows, std::set<storm::expressions::Variable> const& rowMetaVariables, std::set<storm::expressions::Variable> const& columnMetaVariables, std::vector<std::pair<storm::expressions::Variable, storm::expressions::Variable>> const& rowColumnMetaVariablePairs);
+            
+            SymbolicEliminationLinearEquationSolver(storm::dd::Add<DdType, ValueType> const& A, storm::dd::Bdd<DdType> const& allRows, std::set<storm::expressions::Variable> const& rowMetaVariables, std::set<storm::expressions::Variable> const& columnMetaVariables, std::vector<std::pair<storm::expressions::Variable, storm::expressions::Variable>> const& rowColumnMetaVariablePairs, double precision, uint_fast64_t maximalNumberOfIterations, bool relative);
+            
+            virtual storm::dd::Add<DdType, ValueType> solveEquations(storm::dd::Add<DdType, ValueType> const& x, storm::dd::Add<DdType, ValueType> const& b) const override;
+        };
+
+    }
+}