Changed getter for child nodes to reference style

src/formula/AP.h

@@ -59,7 +59,7 @@ public:
 	/*!
 	 * @returns the name of the atomic proposition
 	 */
-	std::string getAP() {
+	const std::string& getAP() {
 		return ap;
 	}
 

src/formula/And.h

@@ -91,15 +91,15 @@ public:
 	/*!
 	 * @returns a pointer to the left child node
 	 */
-	PCTLStateFormula<T>* getLeft() {
-		return left;
+	PCTLStateFormula<T>& getLeft() {
+		return *left;
 	}
 
 	/*!
 	 * @returns a pointer to the right child node
 	 */
-	PCTLStateFormula<T>* getRight() {
-		return right;
+	PCTLStateFormula<T>& getRight() {
+		return *right;
 	}
 
 	/*!

src/formula/BoundedUntil.h

@@ -97,15 +97,15 @@ public:
 	/*!
 	 * @returns a pointer to the left child node
 	 */
-	PCTLStateFormula<T>* getLeft() {
-		return left;
+	PCTLStateFormula<T>& getLeft() {
+		return *left;
 	}
 
 	/*!
 	 * @returns a pointer to the right child node
 	 */
-	PCTLStateFormula<T>* getRight() {
-		return right;
+	PCTLStateFormula<T>& getRight() {
+		return *right;
 	}
 
 	/*!

src/formula/Next.h

@@ -65,8 +65,8 @@ public:
 	/*!
 	 * @returns the child node
 	 */
-	PCTLStateFormula<T>* getChild() {
-		return child;
+	PCTLStateFormula<T>& getChild() {
+		return *child;
 	}
 
 	/*!

src/formula/Not.h

@@ -60,8 +60,8 @@ public:
 	/*!
 	 * @returns The child node
 	 */
-	PCTLStateFormula<T>* getChild() {
-		return child;
+	PCTLStateFormula<T>& getChild() {
+		return *child;
 	}
 
 	/*!

src/formula/Or.h

@@ -90,15 +90,15 @@ public:
 	/*!
 	 * @returns a pointer to the left child node
 	 */
-	PCTLStateFormula<T>* getLeft() {
-		return left;
+	PCTLStateFormula<T>& getLeft() {
+		return *left;
 	}
 
 	/*!
 	 * @returns a pointer to the right child node
 	 */
-	PCTLStateFormula<T>* getRight() {
-		return right;
+	PCTLStateFormula<T>& getRight() {
+		return *right;
 	}
 
 	/*!

src/formula/ProbabilisticOperator.h

@@ -73,21 +73,21 @@ public:
 	/*!
 	 * @returns the child node (representation of a PCTL path formula)
 	 */
-	PCTLPathFormula<T>* getPathFormula () {
-		return pathFormula;
+	PCTLPathFormula<T>& getPathFormula () {
+		return *pathFormula;
 	}
 
 	/*!
 	 * @returns the lower bound for the probability
 	 */
-	T getLowerBound() {
+	const T& getLowerBound() {
 		return lower;
 	}
 
 	/*!
 	 * @returns the upper bound for the probability
 	 */
-	T getUpperBound() {
+	const T& getUpperBound() {
 		return upper;
 	}
 

src/formula/Until.h

@@ -90,15 +90,15 @@ public:
 	/*!
 	 * @returns a pointer to the left child node
 	 */
-	PCTLStateFormula<T>* getLeft() {
-		return left;
+	PCTLStateFormula<T>& getLeft() {
+		return *left;
 	}
 
 	/*!
 	 * @returns a pointer to the right child node
 	 */
-	PCTLStateFormula<T>* getRight() {
-		return right;
+	PCTLStateFormula<T>& getRight() {
+		return *right;
 	}
 
 	/*!