prism.SCCComputer: SanityJDD checks

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11536 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago · eb017f950c
1 changed files with 5 additions and 0 deletions
--- a/prism/src/prism/SCCComputer.java
+++ b/prism/src/prism/SCCComputer.java
@ -104,6 +104,11 @@ public abstract class SCCComputer extends PrismComponent
 		this.reach = reach;
 		this.allDDRowVars = allDDRowVars;
 		this.allDDColVars = allDDColVars;
+
+		if (jdd.SanityJDD.enabled) {
+			jdd.SanityJDD.checkIsDDOverVars(trans01, allDDRowVars, allDDColVars);
+			jdd.SanityJDD.checkIsDDOverVars(reach, allDDRowVars);
+		}
 	}

 	/**