Eliminated warning of clang by introducing proper getter.

src/ir/Variable.cpp

@@ -28,6 +28,10 @@ std::string const& Variable::getName() const {
 	return variableName;
 }
 
+uint_fast64_t getIndex() const {
+	return index;
+}
+
 // Return the expression for the initial value of the variable.
 std::shared_ptr<storm::ir::expressions::BaseExpression> const& Variable::getInitialValue() const {
 	return initialValue;

src/ir/Variable.h

@@ -41,6 +41,12 @@ public:
 	 */
 	std::string const& getName() const;
 
+	/*!
+	 * Retrieves the index of the variable.
+	 * @returns the index of the variable.
+	 */
+	uint_fast64_t getIndex() const;
+
 	/*!
 	 * Retrieves the expression defining the initial value of the variable.
 	 * @returns the expression defining the initial value of the variable.