comments

lip6 · Apr 9, 2024 · 70f376b · 70f376b
1 parent 1890596
commit 70f376b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/...r.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/mcc/MccTranslator.java b/...r.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/mcc/MccTranslator.java
@@ -151,6 +151,11 @@ public boolean applyOrder(Support supp) {
 		return false;
 	}
 
+	/**
+	 * Check if the specification can be decomposed, i.e. if no properties contain 
+	 * addition or comparison of variables in different subcomponents.  
+	 * @return true if the specification can be decomposed and SDD can handle the operations
+	 */
 	private boolean canDecompose() {
 		boolean canDecompose = true;
 		for (Property prop : spec.getProperties()) {