Added reach info to -extraddinfo output.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@323 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/NondetModel.java

@@ -321,6 +321,7 @@ public class NondetModel implements Model
 			}
 			log.println();
 			log.print("Transition matrix terminals: " + JDD.GetTerminalsAndNumbersString(trans, getNumDDVarsInTrans())+"\n");
+			log.print("Reach: " + JDD.GetNumNodes(reach) + " nodes\n");
 			log.print("ODD: " + ODDUtils.GetNumODDNodes() + " nodes\n");
 			log.print("Mask: " + JDD.GetNumNodes(nondetMask) + " nodes, ");
 			log.print(JDD.GetNumMintermsString(nondetMask, getNumDDRowVars()+getNumDDNondetVars()) + " minterms\n");

prism/src/prism/ProbModel.java

@@ -274,6 +274,7 @@ public class ProbModel implements Model
 			}
 			log.println();
 			log.print("Transition matrix terminals: " + JDD.GetTerminalsAndNumbersString(trans, getNumDDVarsInTrans())+"\n");
+			log.print("Reach: " + JDD.GetNumNodes(reach) + " nodes\n");
 			log.print("ODD: " + ODDUtils.GetNumODDNodes() + " nodes\n");
 		}
 		for (i = 0; i < numRewardStructs; i++) {

prism/src/prism/StochModel.java

@@ -274,6 +274,7 @@ public class StochModel implements Model
 			}
 			log.println();
 			log.print("Rate matrix terminals: " + JDD.GetTerminalsAndNumbersString(trans, getNumDDVarsInTrans())+"\n");
+			log.print("Reach: " + JDD.GetNumNodes(reach) + " nodes\n");
 			log.print("ODD: " + ODDUtils.GetNumODDNodes() + " nodes\n");
 		}