Change type of FLASH_MAX_UTIL to double (for more readable code)

Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Simon Barner <barner@fortiss.org>

org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/testgenerator/util/.ratings

 AnnotationGenerationUtils.java 6c88aac44bde4a5bdf04a66c6462af9a50f0191a YELLOW
 CompArchGeneratonUtil.java 0f1e3c048884fa4df6a35b6a110c46da58f59857 GREEN
-DseUtils.java 5d6293890751259d681ebac80b335f2eeb488f60 YELLOW
+DseUtils.java 1a9e73e2605271ad1e559e4ad38843171a60a48d YELLOW
 FileWriterUtil.java 4a95559f571d41fa44e6236fc055ab5baac7c384 GREEN
 GraphGenerationUtilities.java e637fd6a38339c60a6a7ac5af116db304266d345 GREEN
 GraphMetricUtils.java 99a398d4ff9b15b3eeb35748e32aa34a9b197f07 GREEN

org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/testgenerator/util/DseUtils.java

@@ -86,8 +86,8 @@ import org.fortiss.tooling.kernel.utils.EcoreUtils;
  */
 public class DseUtils {
 
-	/** Maximally allowed flash utilization per {@link ExecutionUnit}. */
-	private static final int FLASH_MAX_UTIL = 1;
+	/** Maximally allowed flash utilization per {@link ExecutionUnit} (ratio) */
+	private static final double FLASH_MAX_UTIL = 1.0;
 
 	/** List of task percentages whose allocation is fixed. */
 	private static final int[] ALLOC_PERCENTAGES = {0, 25, 50, 75};
@@ -184,7 +184,7 @@ public class DseUtils {
 			@SuppressWarnings("unchecked") IExplorationConstraint<Boolean> constr =
 					createExplorationConstraint(Boolean.class, createResourceDimension(),
 							newHashSet(IDeploymentSynthesis.class), expression,
-							"Max Flash Util " + FLASH_MAX_UTIL * 100.0 + " of all ExecutionUnits.",
+							"Max Flash Util " + FLASH_MAX_UTIL * 100 + " of all ExecutionUnits.",
 							false);
 
 			if(!constraints.isEmpty()) {