Fixed LPN generation

Curtis Madsen · Curtis Madsen · commit 87ccb76c15eb · 2018-05-27T23:44:49.000-04:00
diff --git a/verification/src/main/java/edu/utah/ece/async/lema/verification/lpn/LPN.java b/verification/src/main/java/edu/utah/ece/async/lema/verification/lpn/LPN.java
@@ -345,10 +345,10 @@ public static LPN convertToLHPN(ArrayList<String> specs, ArrayList<Object[]> con
 						}
 						if (!rate.equals("") || !reactionProductions.equals("")) {
 							if (rate.equals("")) {
-								rate = "(" + reactionProductions + ")";
+								rate = "(" + np + "*(" + reactionProductions + "))";
 							}
 							else if (!reactionProductions.equals("")) {
-								rate = "(" + rate + "+" + reactionProductions + ")";
+								rate = "(" + rate + "+" + np + "*(" + reactionProductions + "))";
 							}
 							LHPN.addTransition(specs.get(i) + "_trans" + transNum);
 							LHPN.addMovement(previousPlaceName, specs.get(i) + "_trans" + transNum);

Original file line number	Diff line number	Diff line change
`@@ -345,10 +345,10 @@ public static LPN convertToLHPN(ArrayList<String> specs, ArrayList<Object[]> con`
`345`	`345`	`}`
`346`	`346`	`if (!rate.equals("") \|\| !reactionProductions.equals("")) {`
`347`	`347`	`if (rate.equals("")) {`
`348`		`- rate = "(" + reactionProductions + ")";`
	`348`	`+ rate = "(" + np + "*(" + reactionProductions + "))";`
`349`	`349`	`}`
`350`	`350`	`else if (!reactionProductions.equals("")) {`
`351`		`- rate = "(" + rate + "+" + reactionProductions + ")";`
	`351`	`+ rate = "(" + rate + "+" + np + "*(" + reactionProductions + "))";`
`352`	`352`	`}`
`353`	`353`	`LHPN.addTransition(specs.get(i) + "_trans" + transNum);`
`354`	`354`	`LHPN.addMovement(previousPlaceName, specs.get(i) + "_trans" + transNum);`